diff options
author | Felipe Contreras <felipe.contreras@gmail.com> | 2013-05-13 23:36:28 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-05-15 12:35:51 -0700 |
commit | 637333673a156898087e87f551a6eb1f9405e39d (patch) | |
tree | 3edc3515ca6067b15b62e3aa319f8b50716d279b /Documentation | |
parent | remote-hg: add new get_config_bool() helper (diff) | |
download | tgif-637333673a156898087e87f551a6eb1f9405e39d.tar.xz |
remote-hg: fix new branch creation
When a user creates a new branch with git:
% git checkout -b branches/devel
and then pushes this branch
% git push origin branches/devel
which is the way to push new mercurial branches, we do want to
create a branch, but the command would fail without newbranch=True.
This only matters when force_push=False, but setting newbranch=True
unconditionally does not hurt.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions