9 Jun
                
                    2017
                
            
            
                9 Jun
                
                '17
                
            
            
            
        
    
                1:54 p.m.
            
        Hello folks,
All of the branches have no migrated to Git. I'll be running the script to normalize the e-mail addresses in the commit logs and then start pushing up to Gitlab. I expect that to take a couple hours each. Sorry about the delays.
Ted