Merged
requested to merge 24-follow-up-from-resolve-show-titles-and-format-in-repdav-listing into main
Closes #24 (closed) Closes #23 (closed) Closes #15 (closed)
Dear Gitlab users, on Thursday, 19.10.2023, we will switch the login-method to SSO-only. If you are not sure what this means, please read our newest FAQ entry. Gitlab will not be available on that day between 5:00 pm and approximately 5:30 pm.
Closes #24 (closed) Closes #23 (closed) Closes #15 (closed)