Unfortunately basic experience with git at universities is not something you can expect. Especially professors cause a lot of damage frequently due to not taking/having the time to learn it properly.