Dummy repo to be modified by PyGithub's integration tests