> 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?)
A nice client-side solution is also: > [paths] > testboard = ssh://haftmann@macbroy//mnt/tmp/isatest/repositories/isabelle > [alias] > push_to_testboard = push -f testboard in .hg/hgrc Is there a way to pull the .hgrc also on hg clone? Then this could be a default .hgrc for the Isabelle repository. 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 isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev