github mirror now using git-http-backend