diff options
author | Felipe Contreras <felipe.contreras@gmail.com> | 2013-05-24 21:29:52 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-05-28 08:02:05 -0700 |
commit | d3c460b5b43ab67de894c9d3b6d6ce20f3f00070 (patch) | |
tree | 61f5d6201d6971b912c57e6158c4f10d5b7dc48d /git-request-pull.sh | |
parent | 883d7be110968c0d319dfa7c595c640e616da9c5 (diff) | |
download | git-d3c460b5b43ab67de894c9d3b6d6ce20f3f00070.tar.gz git-d3c460b5b43ab67de894c9d3b6d6ce20f3f00070.tar.xz |
remote-hg: check diverged bookmarks
So that we can report a proper error.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-request-pull.sh')
0 files changed, 0 insertions, 0 deletions