[isabelle-dev] Slaying the hydra

Makarius makarius at sketis.net
Sat Oct 13 11:18:28 CEST 2018

On 12/10/18 11:38, Lars Hupel wrote:
> $ hg pull
> pulling from http://isabelle.in.tum.de/repos/testboard/
> searching for changes
> abort: HTTP Error 414: Request-URI Too Long
> The cause is a combination of that repository being many-headed and
> Mercurial trying to be too smart about pulling via HTTP(S).
> I checked the situation and there were >400 heads in that repository.

The "mira" implementation of the testboard had the same problem. I would
call this abuse of Mercurial -- you may also ask on the Mercurial
mailing what the developers say about it.

After all these years, I still do not understand why management of
certain test jobs should be corellated with repository pushes: it is
fragile in the implementation and awkward to use. E.g. how do you pass
test parameters?


More information about the isabelle-dev mailing list