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: |
