Add buttons on the top bar for quick navigation
Per 27-06-2023. Zie de nieuwste versie.
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
Update the script for the new GitLab navigation layout as of GitLab v16
