"git-rts@gitlab.mpi-sws.org:iris/stdpp.git" did not exist on "07c0cb06f6efe8f88102d1d1abb2e25b68dd04f8"
The source project of this merge request has been removed.
Changed ghost location from location to prophecy variable
There are currently no pipelines.
To run a merge request pipeline, the jobs in the CI/CD configuration file must be configured to run in merge request pipelines and you must have sufficient permissions in the source project.