Skip to content
GitLab
Explore
Sign in
Register
push: don't try to push a secret tip
Code
Review changes
Check out branch
Download
Patches
Plain diff
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
Expand
This can happen if you do a push without bookmarks, and the tip is secret.
Merge request reports