hg push -f testboardI 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
