[isabelle-dev] Small repository accident
makarius at sketis.net
Fri Feb 24 16:23:54 CET 2012
On Fri, 24 Feb 2012, Makarius wrote:
> 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.
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.
More information about the isabelle-dev