The server has been restored from backup. Any changes made between 2019-04-07 16:00 and 2019-04-08 08:00 (UTC) have been lost due to hardware failure.

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.