I was wrong, thanks hefee for correcting me: a developer with commit access to our canonical repo can very well push there, which will propagate to the Salsa mirror repo, and then browse the Salsa web UI to click "Create merge request". This reverts commit bd8cd79c.