Skip to content

Being quiet in pushes to GitLab, except for hook output

The Git typical messages are mostly a distraction for our users, since the push to the auxiliary Git repo is an implementation detail and they can't do anything about it anyway.

Merge request reports