Replace deprecated gitorious mirror with github.