A repository for learning repository management on GitHub