Add buttons on the top bar for quick navigation
As of 2023-06-27. 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
