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