touch: fix the inconsistent behavior of divergence catching logic (issue6107) When touching a node, the way we check if it can lead to divergence is we look at the successors sets of the rev being touched. And if there is successor revs exists (excluding the case when that successor set is (A,) for rev A) that means there will be divergence and we warn the user. This works fine but there is still a case (which is not covered by looking at successor sets) which can lead to divergence. That case is: when there is already a revision exists which is divergent to the revision being touched. And performing the touch would revive that "dead" divergence. (Dead because one of the revision is obsolete which is the one we are touching) And to see if there is any rev which is divergent to a particular rev we already have a function which we can use here i.e. `evolvecmd.divergentsets(repo, ctx_being_touched)` Changes in test file demonstrate the fixed behaviour.

     1

#!/bin/bash

     2

set -eox pipefail

     3

     4

     5

function compile {

     6

    pandoc \

     7

    -s $1 \

     8

    -o $2 \

     9

    --toc --toc-depth=4 \

    10

    -F pandocfilters/examples/graphviz.py -F mypandocfilters/graphviz-file.py -F mypandocfilters/raw-file.py \

    11

    -t html5 \

    12

    --template standalone.html --variable=template_css:uikit.css

    13

    14

}

    15

    16

compile slides.md index.html