# HG changeset patch
# User wenzelm
# Date 1344785946 -7200
# Node ID 71136069089da0b208d81559ab598c9723f86660
# Parent  fd50596bf78b3c763fb90d806d6304c5d2efab98
some information for central Isabelle repository configuration;

diff -r fd50596bf78b -r 71136069089d Admin/Mercurial/Central/Mercurial
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Mercurial/Central/Mercurial	Sun Aug 12 17:39:06 2012 +0200
@@ -0,0 +1,2 @@
+This is the main Isabelle Mercurial repository.
+All the meta data is in .hg/
diff -r fd50596bf78b -r 71136069089d Admin/Mercurial/Central/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Mercurial/Central/README	Sun Aug 12 17:39:06 2012 +0200
@@ -0,0 +1,27 @@
+Notes on central Isabelle repository
+====================================
+
+* direct file-system access (locally or remotely via ssh)
+
+* permissions via dedicated Unix group "isabelle"
+
+* See http://mercurial.selenic.com/wiki/RequiresFile on physical format, with
+  conservative requirements for Mercurial 1.3 as lowest common denominator:
+
+    revlogv1
+    store
+    fncache
+
+* See http://mercurial.selenic.com/wiki/MultipleCommitters for old-fashioned
+  CVS-like multiple committers configuration, "The filesystem method":
+
+    hg --config format.dotencode=0 init isabelle-clone
+    cd isabelle-clone
+    chgrp -R isabelle .hg
+    chmod g+s .hg .hg/store
+    mkdir .hg/strip-backup   ## Not to be used under normal circumstances!
+    chmod -R g+w .hg
+
+  Now isabelle-clone is ready for push of repository data (without making
+  a working directory).
+
diff -r fd50596bf78b -r 71136069089d Admin/Mercurial/Central/hgrc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Mercurial/Central/hgrc	Sun Aug 12 17:39:06 2012 +0200
@@ -0,0 +1,7 @@
+[web]
+style = isabelle
+contact = isabelle
+description = The Isabelle repository
+allow_archive = gz
+maxfiles = 50
+encoding = UTF-8