- On push with split brain, do synthetic fast forward if as follows:
- - find previous push (archive version, import, whatever
- is result of fetch into the dgit remote tracking branch)
- - find its version number
- - find the tag we fetched during git_fetch_us in lrfetchrefs_f
- [*] this may need us to arrange to fetch it
- that is, find the DEP-14 tag
- - find the corresponding dgit tag
- - the dgit tag should be a descendant of the DEP-14 tag
- - what we are pushing should be a descendant of the DEP-14 tag
- - then we can make it also a descendant of the dgit tag
- (make it: in dgit view only, in split brain mode)
-