An error occurred while fetching the assigned milestone of the selected merge_request.
Due to maintenance at 01.07.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
enabled an automatic merge when the pipeline for 09760185 succeeds
aborted the automatic merge because source branch was updated
enabled an automatic merge when the pipeline for c9bc7051 succeeds
merged
mentioned in commit f897c804