[isabelle-dev] Testboard: qpopping patches after pushing to tb

Steffen Juilf Smolka steffen.smolka at in.tum.de
Wed Dec 19 13:06:55 CET 2012


after pushing patches to the testboard, I got the following error when trying to qpop these patches:

abort: popping would remove an immutable revision

I investigated the problem and it turns out the problem is caused by mercurial's new phases feature introduced in v2.1
(see http://mercurial.selenic.com/wiki/WhatsNew#Mercurial_2.1_.282012-02-01.29)

The guys at Mozilla ran into the same problem and found two easy solutions.
One possibility is to solve the problem on the client side. When using an alias for the testboard, the solution looks something like this (note the post-tb hook):

testboard = ssh://smolkas@macbroy21.informatik.tu-muenchen.de//home/isabelle-repository/repos/testboard

tb = push -f testboard

post-tb = hg phase --force --draft "mq()"

(see https://wiki.mozilla.org/ReleaseEngineering/TryServer#hg_phases for more details)

However, there is also a global, server side solution. This would solve the problem for everybody.
One would simply have to add
publish = False
to the hgrc file of the Testboard (and upgrade the server to >= hg 2.1).
(see https://bugzilla.mozilla.org/show_bug.cgi?id=725362 for details)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20121219/5e0a793e/attachment.html>

More information about the isabelle-dev mailing list