A GitHub-based gradebook