What to do with Git (GitLab/GitHub)?
What is the first practical where they need some code? When do they first have to submit some code?
Should we have an explanation of:
- Clone the practical repository
- Do the practical
- Commit changes
- Send pull request
And for both GitLab and GitHub? Where do we document this?