Update git interface #2
Description
The git interface has seen quite a few simplifications in recent years and from our experience so far, outdated git versions don't seem to be an issue during the courses. Someone should go through this course and update to the simpler new commands.