debian/compat
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Tue, 21 Mar 2017 12:30:53 +0100
changeset 2247 2320a7e3cbd7
parent 531 b18b00036355
child 4912 43e9bb4de6b5
permissions -rw-r--r--
checkheads: basic handling of pruned heads (and associated tests) We now detect that heads was pruned and stop warning about it. Note that this has the same shortcoming as the existing code and only looks at the heads.

8