push: don't try to push a secret tip
This can happen if you do a push without bookmarks, and the tip is secret.
All legacy (hg-git based) Projects have been automatically migrated to native with the upgrade of 2025-01-23
This can happen if you do a push without bookmarks, and the tip is secret.