evolve: handle a case in pubic-div when merging results in same as public In public divergence resolution, what we do is: 1) first apply content divergence resolution 2) then phase divergent resolution on resultant node of 1) case While doing case 1 it is possible that result of merging the two csets would have same changes as public one contains. And then processing the case 2 would create an empty commit which is not something we want to do. So this patch catch that same case when merging results in same as public cset and don't create a new node, instead to solve the divergence it just add a obsmarker from "other divergent" to "public divergent" i.e. [other, (public,)] Next patch will add the continue case handling for this same case. This patch also adds the tests for the different cases which are possible for the above mentioned case. There is test for continue case too which is broken in this patch and will be fixed in next patch.

     1

syntax: re

     2

/figures/[^/]+\.png$

     3

^html/

     4

\.pyc$

     5

~$

     6

\.swp$

     7

\.orig$

     8

\.rej$

     9

^tests/.*\.err$

    10

^tests/easy_run.sh$

    11

^build/

    12

^dist/

    13

^MANIFEST$

    14

^docs/tutorials/.*\.rst$

    15

\.ico$

    16

tests/\.testtimes

    17

    18

^docs/training/graphs/

    19

^docs/training/html/

    20

^docs/training/index.html

    21

^docs/training/graphviz-images/

    22

^docs/training/img/

    23

^docs/training/output/

    24

^docs/training/pandocfilters/