Skip to content

push: don't try to push a secret tip

Dan Villiom Podlaski Christiansen requested to merge topic/0.10.x/no-push-secret into branch/0.10.x

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

Merge request reports