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.
An extended maintenance, on git.ligo.org, chat.ligo.org, containers.ligo.org, and docs.ligo.org, will occur tomorrow morning (17 May 2022) starting at approximately 9am MST. It is expected to take around two hours and GitLab will be in read only mode for the duration of the maintenance, further more there will be several periods of downtime. Please address any comments, concerns, or questions to computing-help@igwn.org.