mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-31 23:25:09 +00:00
removed_heads..added_heads won't stop if new head is added on top of non-head commit for example. #2729
removed_heads..added_heads won't stop if new head is added on top of non-head commit for example. #2729