From 11c4059b78968ea8c1554133797d3a59380ad8ed Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Mar 20 2015 08:10:27 +0000
Subject: Upon project creation create the git repo to store the pull-requests metadata


---

diff --git a/progit/lib/__init__.py b/progit/lib/__init__.py
index 26d003f..b6f594e 100644
--- a/progit/lib/__init__.py
+++ b/progit/lib/__init__.py
@@ -398,7 +398,8 @@ def add_pull_request_comment(session, request, commit, filename, row,
     return 'Comment added'
 
 
-def new_project(session, user, name, gitfolder, docfolder, ticketfolder,
+def new_project(session, user, name,
+                gitfolder, docfolder, ticketfolder, requestfolder,
                 description=None, parent_id=None):
     ''' Create a new project based on the information provided.
     '''
@@ -439,6 +440,16 @@ def new_project(session, user, name, gitfolder, docfolder, ticketfolder,
         )
     pygit2.init_repository(ticketrepo, bare=True)
 
+    requestrepo = os.path.join(requestfolder, project.path)
+    if os.path.exists(requestrepo):
+        shutil.rmtree(gitrepo)
+        shutil.rmtree(docrepo)
+        shutil.rmtree(ticketrepo)
+        raise progit.exceptions.RepoExistsException(
+            'The requests repo "%s" already exists' % project.path
+        )
+    pygit2.init_repository(requestrepo, bare=True)
+
     return 'Project "%s" created' % name