we could create a second corresponding repository at GitHub, where the students can work on. They actually could fork a repository, clone it, make changes and do pull requests.
the students can also look at the repository and drop issues if they recognised something
Such ideas might increase the interactivity of the course
Learning git
Such ideas might increase the interactivity of the course