"theories/git-rts@gitlab.mpi-sws.org:tchajed/iris-coq.git" did not exist on "211dc7cad10da872d2840f73acd85eed0b82f7b4"
Merge requests are a place to propose changes you've made to a project and discuss those changes with others
Interested parties can even contribute by pushing commits if they want to.