diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-04-22 23:27:26 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-16 22:40:13 +0100 |
commit | acec8e4b8dc36601d94159bdac169b8f13e64913 (patch) | |
tree | e41a7b5e694de28438998655a65fe789f37c26c7 /infra | |
parent | b33a6ea64a28a1122d75ce3a0d4808211e0734d3 (diff) |
git-debrebase: Defend against missing snags_maybe_bail calls
Almost the only thing gdr does as an output is to update HEAD and
other refs. That's done with run_deferred_updates. So, there,
check that (i) we have called snags_maybe_bail at least once;
(ii) we have not had any snags since.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra')
0 files changed, 0 insertions, 0 deletions