Access Manager
Manages repository rights for students and supervisors on Gitlab repositories.
The documentation is not yet written. Feel free to add it yourself ;)
Last modified August 31, 2022: init space for all currently available tools (913a1f3)
The documentation is not yet written. Feel free to add it yourself ;)