Miscellaneous
Other topics not already covered, including FAQs regarding the Helpdesk itself.
For regular users of the Helpdesk, it is possible to set up an account where you can access all your past tickets and communication with the Helpdesk. An ac...
Thu, 18 Apr, 2019 at 9:16 AM
If you have trouble logging in (i.e. the website reloads without any error message) you can try the following hints: Issue a password reset In order to...
Fri, 4 Feb, 2022 at 4:41 PM
What is Git (and GitLab)? Git is a software tool which enables a directory (including sub-directories) on a filesystem to be tracked for file changes with ...
Thu, 30 Mar, 2023 at 10:23 AM