Tags give the ability to mark specific points in history as being important
Aufgrund einer Konfigurationsänderung in GitLab wurden neue Nutzende, die sich zum ersten Mal zwischen dem 4.11.2025 und dem 13.01.2026 angemeldet haben, mit einem falschen Benutzernamen erstellt. Es wird dringend empfohlen, dass diese Nutzenden ihren Benutzernamen unter https://git.rwth-aachen.de/-/profile/account ändern. Eine Anleitung finden Sie hier: https://docs.gitlab.com/user/profile/#change-your-username. // Due to a configuration change in GitLab, new users who registered for the first time between November 4, 2025, and January 13, 2026, were created with an incorrect username. It is strongly recommended that these users change their username at https://git.rwth-aachen.de/-/profile/account. Instructions can be found here: https://docs.gitlab.com/user/profile/#change-your-username
Jenkins Git plugin tagging with BoSSS-Public-Nightly-178
Jenkins Git plugin tagging with BoSSS-Public-Nightly-171
Jenkins Git plugin tagging with BoSSS-Public-Nightly-170
Jenkins Git plugin tagging with BoSSS-Public-Nightly-169
Jenkins Git plugin tagging with BoSSS-Public-Nightly-167
Jenkins Git plugin tagging with BoSSS-Public-Nightly-166
Jenkins Git plugin tagging with BoSSS-Public-Nightly-165
Jenkins Git plugin tagging with BoSSS-Public-Nightly-164
Jenkins Git plugin tagging with BoSSS-Public-Nightly-163
Jenkins Git plugin tagging with BoSSS-Public-Nightly-162
Jenkins Git plugin tagging with BoSSS-Public-Nightly-161
Jenkins Git plugin tagging with BoSSS-Public-Nightly-160
Jenkins Git plugin tagging with BoSSS-Public-Nightly-159
Jenkins Git plugin tagging with BoSSS-Public-Nightly-158
Jenkins Git plugin tagging with BoSSS-Public-Nightly-157
Jenkins Git plugin tagging with BoSSS-Public-Nightly-156
Jenkins Git plugin tagging with BoSSS-Public-Nightly-155
Jenkins Git plugin tagging with BoSSS-Public-Nightly-154
Jenkins Git plugin tagging with BoSSS-Public-Nightly-153
Jenkins Git plugin tagging with BoSSS-Public-Nightly-152