> 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 [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
