exchange: backout changeset c26335fa4225

Changeset c26335fa4225 has good intends but introduce significant behavior
regressions for multiple important cases. In short there are many case where
push would have caught instability creation/propagation that are no longer
covered.  These behavior have been covered for many years and even if some
related case are not currently caught, the covered one should not be regressed.

The next four changesets introduce tests for some of these cases. However we
could produce many more tests cases since the area is wide and they are many
possible combination. (And we should cover them when getting back to this issue)

Since 5.5 is one week away, the most reasonable approach seems to back this out
while we devise a new way to move forward that preserve the current behavior,
catch more issues and also improves the situation that c26335fa4225 target.


In addition to the behavior change, c26335fa4225 also introduced output
changes. These output changes does not requires a backout per-se, but are part of
the same changeset. However they come with a couple of issues that also requires
attention:

1) the bulk of the error message have been shoehorned into a multiple line abort
message. This seems quite different from what we usually do. The abort message
should be a compact and efficient message, with extra details being issued as
normal error output beforehand. (with --verbose/--quiet) support.

2) the current output is unbounded, so if there is many (tens, hundreds,
thousands, …) of unstable/obsolete changeset involved in the push, the output
can quickly become a scary and un-usuable wall of text. So we need some
limitation here (same as we have with the remote head list that says A, B , C
and # others).

mercurial/exchange.py

@@ -905,32 +905,27 b' def _pushcheckoutgoing(pushop):'
         # if repo.obsstore == False --> no obsolete
         # then, save the iteration
         if unfi.obsstore:
-            obsoletes = []
-            unstables = []
-            for node in outgoing.missing:
+            # this message are here for 80 char limit reason
+            mso = _(b"push includes obsolete changeset: %s!")
+            mspd = _(b"push includes phase-divergent changeset: %s!")
+            mscd = _(b"push includes content-divergent changeset: %s!")
+            mst = {
+                b"orphan": _(b"push includes orphan changeset: %s!"),
+                b"phase-divergent": mspd,
+                b"content-divergent": mscd,
+            }
+            # If we are to push if there is at least one
+            # obsolete or unstable changeset in missing, at
+            # least one of the missinghead will be obsolete or
+            # unstable. So checking heads only is ok
+            for node in outgoing.ancestorsof:
                 ctx = unfi[node]
                 if ctx.obsolete():
-                    obsoletes.append(ctx)
+                    raise error.Abort(mso % ctx)
                 elif ctx.isunstable():
-                    unstables.append(ctx)
-            if obsoletes or unstables:
-                msg = b""
-                if obsoletes:
-                    msg += _(b"push includes obsolete changesets:\n")
-                    msg += b"\n".join(b'  %s' % ctx for ctx in obsoletes)
-                if unstables:
-                    if msg:
-                        msg += b"\n"
-                    msg += _(b"push includes unstable changesets:\n")
-                    msg += b"\n".join(
-                        b'  %s (%s)'
-                        % (
-                            ctx,
-                            b", ".join(_(ins) for ins in ctx.instabilities()),
-                        )
-                        for ctx in unstables
-                    )
-                raise error.Abort(msg)
+                    # TODO print more than one instability in the abort
+                    # message
+                    raise error.Abort(mst[ctx.instabilities()[0]] % ctx)
 
         discovery.checkheads(pushop)
     return True

tests/test-obsolete-divergent.t

@@ -118,9 +118,7 b' check that mercurial refuse to push'
   $ hg push ../other
   pushing to ../other
   searching for changes
-  abort: push includes unstable changesets:
-    82623d38b9ba (content-divergent)
-    392fd25390da (content-divergent)
+  abort: push includes content-divergent changeset: 392fd25390da!
   [255]
 
   $ cd ..

tests/test-obsolete.t

@@ -251,8 +251,7 b" And that we can't push bumped changeset"
   $ hg push ../tmpa
   pushing to ../tmpa
   searching for changes
-  abort: push includes unstable changesets:
-    5601fb93a350 (phase-divergent)
+  abort: push includes phase-divergent changeset: 5601fb93a350!
   [255]
 
 Fixing "bumped" situation
@@ -617,8 +616,7 b' refuse to push obsolete changeset'
   $ hg push ../tmpc/ -r 'desc("original_d")'
   pushing to ../tmpc/
   searching for changes
-  abort: push includes obsolete changesets:
-    94b33453f93b
+  abort: push includes obsolete changeset: 94b33453f93b!
   [255]
 
 refuse to push unstable changeset
@@ -626,10 +624,7 b' refuse to push unstable changeset'
   $ hg push ../tmpc/
   pushing to ../tmpc/
   searching for changes
-  abort: push includes obsolete changesets:
-    94b33453f93b
-  push includes unstable changesets:
-    cda648ca50f5 (orphan)
+  abort: push includes orphan changeset: cda648ca50f5!
   [255]
 
 with --force it will work anyway
@@ -652,26 +647,6 b' if the orphan changeset is already on th'
   no changes found
   [1]
 
-pushing should work even if the outgoing changes contain an unrelated changeset
-(neither obsolete nor unstable) (issue6372)
-
-  $ hg up 1 -q
-  $ hg branch new -q
-  $ mkcommit c
-
-  $ hg push ../tmpc/ --new-branch
-  pushing to ../tmpc/
-  searching for changes
-  adding changesets
-  adding manifests
-  adding file changes
-  added 1 changesets with 1 changes to 1 files (+1 heads)
-
-make later tests work unmodified
-
-  $ hg --config extensions.strip= strip tip -q
-  $ hg up 5 -q
-
 Test that extinct changeset are properly detected
 
   $ hg log -r 'extinct()'
@@ -1221,14 +1196,6 b' test whyunstable template keyword'
   phase-divergent: immutable predecessor 245b
   content-divergent: predecessor 245b
 
-  $ hg push  ../tmpf -r 50c51b361e60
-  pushing to ../tmpf
-  searching for changes
-  abort: push includes unstable changesets:
-    50c51b361e60 (orphan, phase-divergent, content-divergent)
-  [255]
-
-
 #if serve
 
   $ hg serve -n test -p $HGPORT -d --pid-file=hg.pid -A access.log -E errors.log