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