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

[Steffen Juilf Smolka]

Hi,

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):

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

[alias]
tb = push -f testboard

[hooks]
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
[phases]
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)


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