Note on Github vs. Codehaus