Une opération de maintenance aura lieu sur git et gitlab ce vendredi 10. Les outils devraient toujours être accessibles mais des perturbations peuvent être à prévoir

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.