diff options
author | John Keeping <john@keeping.me.uk> | 2016-07-26 23:44:44 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-07-26 23:48:09 +0300 |
commit | eee98e74f928a49c310038c77026ebc04e6cf4b2 (patch) | |
tree | efb8d9d0f487770a486f9a2ff9cb82fd60772e77 /remote.h | |
parent | d132b32b4e3146e4aa5a719418f85d6db1134140 (diff) |
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 'remote.h')
0 files changed, 0 insertions, 0 deletions