diff options
-rw-r--r-- | project.py | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -851,7 +851,11 @@ class Project(object): | |||
851 | if not os.path.exists(self.gitdir): | 851 | if not os.path.exists(self.gitdir): |
852 | os.makedirs(self.gitdir) | 852 | os.makedirs(self.gitdir) |
853 | self.bare_git.init() | 853 | self.bare_git.init() |
854 | self.config.SetString('core.bare', None) | 854 | |
855 | if self.manifest.IsMirror: | ||
856 | self.config.SetString('core.bare', 'true') | ||
857 | else: | ||
858 | self.config.SetString('core.bare', None) | ||
855 | 859 | ||
856 | hooks = self._gitdir_path('hooks') | 860 | hooks = self._gitdir_path('hooks') |
857 | try: | 861 | try: |