push: don't try to push a secret tip
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
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
Feb 22, 2021
Overview
2
Commits
1
Pipelines
1
Changes
2
This can happen if you do a push without bookmarks, and the tip is secret.
Merge request reports
Loading