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.
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.