edit file on GitLab repo
edit repo feature is interesting, because the branch can be specified and the link goes directly to the online file editor. one downside is that it might only be possible to create a commit/MR if you have a TUD GL account
here is the code