Hi all, >> It is also possible to have .hg/hgrc specific to individual repository >> clones. So if testboard users are instructed to augment only that >> hgrc with the evil option once and for all, the problem of getting >> used to evil command lines in a different context is avoided. > > This thread shows that I am not using testboard myself. Isn't it used > mainly by pushing the same clone to a different target? So the above > does not work that way.
Indeed. I would also prefer a server-side solution in the testboard repositories (is there any way to permit a push generating new heads in .hg/hgrc?) > Where do I have to look for explanations about testboard? It would help > to understand the practical issues that it addresses, so that the > emerging renovations of the build and test process of Isabelle/Scala > move in the same general direction. Neither the generic mira nor the specific testboard so far have any public prominence; there are some documentation snippets in the doc directory of the mira sources, e.g. http://isabelle.in.tum.de/repos/mira/file/16f40e322e50/doc/tum_guide.txt (this is surely outdated, e.g. cf. ll. 52/52: »NOTE: This is at least the idea; the current infrastructure does not yet make this very feasible in practice.«) Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
