We noticed that some students wanted to use git to back up / mirror their pulled assignments until they are submitted. Since the grader service itself uses Git to work with the submissions, there were conflicts due to different branches and additional commits and pushes.
Do you have a proposed way on how to use Git in a student's assignment directory, or is it simply not supported due to the internal Git repository?
Thank you!
We noticed that some students wanted to use git to back up / mirror their pulled assignments until they are submitted. Since the grader service itself uses Git to work with the submissions, there were conflicts due to different branches and additional commits and pushes.
Do you have a proposed way on how to use Git in a student's assignment directory, or is it simply not supported due to the internal Git repository?
Thank you!