On July, 31th between 18:00 and 22:00 gitlab.tugraz.at may not be available (Reason: maintenance work / gitlab updates).
See https://github.com/raspberrypi/pico-feedback/issues/357