src/init/hgadmin-hgrc
changeset 34 4b5ca59fe3b7
parent 31 d54720d47ca2
child 36 b3237aabd0fe
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/init/hgadmin-hgrc	Mon Jun 16 17:17:29 2008 +0100
@@ -0,0 +1,8 @@
+# WARNING: when these hooks run they will entirely destroy and rewrite
+# ~/.ssh/authorized_keys
+
+[hooks]
+changegroup.aaaaa_update = hg update -C default > /dev/null
+changegroup.aaaab_purge = hg purge --all > /dev/null
+changegroup.refreshauth = /usr/local/lib/hg-admin-tools/refresh-auth ~/.ssh/authorized_keys /etc/hg-admin-tools/hg-ssh-wrapper
+