The reason we originally decided against GitPython was that apparently it leaks system resources if it is used in long running processes, which would be the case for the grader service or the server extension. (see: https://gitpython.readthedocs.io/en/stable/intro.html#limitations)
I don't know any of the specifics anymore or if it still applies. As the scope of our usage of git has expanded quite a bit it would indeed be useful to have a library that handles all the heavy lifting for us. We could look into integrating GitPython and work around its limitations.
The reason we originally decided against GitPython was that apparently it leaks system resources if it is used in long running processes, which would be the case for the grader service or the server extension. (see: https://gitpython.readthedocs.io/en/stable/intro.html#limitations)
I don't know any of the specifics anymore or if it still applies. As the scope of our usage of git has expanded quite a bit it would indeed be useful to have a library that handles all the heavy lifting for us. We could look into integrating GitPython and work around its limitations.