diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-17 17:25:16 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-17 22:16:12 +0100 |
commit | 578fe1b430e849067abd30c5ed0a92dc9456bb09 (patch) | |
tree | 2788232571634f41e3f9a0b4a9aed3e5e058a620 /dgit.7 | |
parent | f7e37ea9f83b46c5efa4152b36c6cc0f4b91fadd (diff) |
git-debrebase: divergence checking: Do not mind if a ref we are checking does not exist
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit.7')
0 files changed, 0 insertions, 0 deletions