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

     2

all: tutorials/tutorial.rst tutorials/topic-tutorial.rst static/logo-evolve.ico

     3

	sphinx-build . ../html/

     4

     5

tutorials/tutorial.rst: tutorials/tutorial.t test2rst.py

     6

	python test2rst.py tutorials/

     7

     8

tutorials/topic-tutorial.rst: tutorials/topic-tutorial.t test2rst.py

     9

	python test2rst.py tutorials/

    10

    11

static/logo-evolve.ico: static/logo-evolve.svg

    12

	convert -resize 36x36 static/logo-evolve.svg static/logo-evolve.ico

    13

    14