[isabelle-dev] Small repository accident
florian.haftmann at informatik.tu-muenchen.de
Fri Feb 24 18:35:55 CET 2012
>> 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
> 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.
(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.«)
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev