Quieter inner pushes to the auxiliary Git repo
Most Git messages, including the "pushing to" are at best distractions
All legacy (hg-git based) Projects have been automatically migrated to native with the upgrade of 2025-01-23
Most Git messages, including the "pushing to" are at best distractions