You should consider the benefits of using GitHub for infrastructure. Simply put, it makes things easier for potential contributors. With project of this size, that could easily be the difference between eternally dying project that is only being held afloat by a persistent core team, and a flourishing growing OS project with many users.
I am rather sceptical about this "social power" of GitHub. This might have worked back in 2008, but currently there are over 16 million repositories on GitHub. Give or take one project -- what is the difference?
That being said, I am certainly not against the idea of hosting a mirror of the mainline branch also on GitHub (BTW, we do the same on LaunchPad). That would work for both the redundancy (backup) and for simple forking of the mainline branch using a single mouse click in the GitHub UI. But having the mainline branch on our own infrastructure is the other half of the redundancy.
M.D. _______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/listinfo/helenos-devel
