Port to github
Revert "Port to github"

This reverts commit 320888e05ced87d55c6c4c3ac2b7712e4b1c098e.
Revert 1184758b939bc6bfe05b98302ad57a01ff893daf^..HEAD