Git repos at github

Primary git repositories are moved to GitHub (that affects everything from git.hackndev.com/hackndev). Please use GitHub for public and commit access.

Private repositories of git.hackndev.com are kept in place, and would be accessible via git+ssh as usual.