[isabelle-dev] New Testing Infrastructure -- status report

Alexander Krauss krauss at in.tum.de
Mon May 30 15:13:07 CEST 2011


>>   hg push -f testboard
>
> I use queues a lot and usually do all testing before I "qfinish" the queued patches. Is there a Mercurial trick to push all the applied queues without qfinishing them first?

hg push -f actually does push applied mq patches as normal changesets, 
so it should do exactly what you want.

Alex




More information about the isabelle-dev mailing list