Generate new repos as shared
authorMagnus Hagander <magnus@hagander.net>
Thu, 22 Jan 2009 12:47:43 +0000 (13:47 +0100)
committerMagnus Hagander <magnus@hagander.net>
Thu, 22 Jan 2009 12:47:43 +0000 (13:47 +0100)
gitdump.py

index 14f9f4e1d3bf2f18d88a0d3f8f6b06b37254673d..032c7db1b260cb7d9e5bf2dde90c43126d5dd62a 100644 (file)
@@ -48,7 +48,7 @@ class AuthorizedKeysDumper:
                                # Does not exist, let's initialize a new one
                                print "Initializing new git repository %s" % name
                                os.environ['GIT_DIR'] = "%s/repos/%s"% (self.conf.get("paths", "githome"), name)
-                               os.system("git init --bare")
+                               os.system("git init --bare --shared")
                                del os.environ['GIT_DIR']
 
                        # Check for publishing options here