diff options
author | John Keeping <john@keeping.me.uk> | 2016-07-26 21:44:44 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-07-26 13:48:09 -0700 |
commit | eee98e74f928a49c310038c77026ebc04e6cf4b2 (patch) | |
tree | efb8d9d0f487770a486f9a2ff9cb82fd60772e77 /Documentation/technical | |
parent | Documentation/git-push: fix placeholder formatting (diff) | |
download | tgif-eee98e74f928a49c310038c77026ebc04e6cf4b2.tar.xz |
push: add shorthand for --force-with-lease branch creation
Allow the empty string to stand in for the null SHA-1 when pushing a new
branch, like we do when deleting branches.
This means that the following command ensures that `new-branch` is
created on the remote (that is, is must not already exist):
git push --force-with-lease=new-branch: origin new-branch
Signed-off-by: John Keeping <john@keeping.me.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/technical')
0 files changed, 0 insertions, 0 deletions