Ci improvement
So far, the deploy stage is executed for every branch. I'm not super sure how the deployment actually works, but this patch limits the stage to the master branch
Aufgrund einer Wartung am 18.11.2025 von 8:00 bis 09:00 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen. --en-- Due to maintenance at 18.11.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
So far, the deploy stage is executed for every branch. I'm not super sure how the deployment actually works, but this patch limits the stage to the master branch