Merge branch 'stable'

* stable:
  Fix mirror clients with no worktree
diff --git a/project.py b/project.py
index fde98ad..b404494 100644
--- a/project.py
+++ b/project.py
@@ -237,7 +237,10 @@
     self.name = name
     self.remote = remote
     self.gitdir = gitdir.replace('\\', '/')
-    self.worktree = worktree.replace('\\', '/')
+    if worktree:
+      self.worktree = worktree.replace('\\', '/')
+    else:
+      self.worktree = None
     self.relpath = relpath
     self.revisionExpr = revisionExpr