[isabelle-dev] Small repository accident

[Florian Haftmann]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120224/9a060995/attachment.sig>