7 Feb
                
                    2016
                
            
            
                7 Feb
                
                '16
                
            
            
            
        
    
                7:30 a.m.
            
        One thing that wasn't mentioned so far is the broader hosted tools ecosystem. GitHub works with Travis CI - this means we wouldn't need to maintain our Jenkins installation, which suffers from space constraints. (It stopped working again a couple of weeks ago.)
Another very useful thing is that Github can be used to easily publish HTML Doxygen documentation with the gh-pages feature. It can even be done from Travis CI. Maybe we can use our website and a Launchpad commit hook to do that, though.
Best regards, Krzysztof