Skip to content

Quieter inner pushes to the auxiliary Git repo

Most Git messages, including the "pushing to" are at best distractions

Merge request reports