Add buttons on the top bar for quick navigation
As of 27/06/2023. See the latest version.
These are versions of this script where the code was updated. Show all versions.
Update the script for the new GitLab navigation layout as of GitLab v16
