On May, 8th between 18:00 and 20:30 gitlab.tugraz.at is may be not available (Reason: maintenance work / gitlab updates).
Try using a different search term to find the file you are looking for.