Skip to content

push: don't try to push a secret tip

This can happen if you do a push without bookmarks, and the tip is secret.

Merge request reports