From 5c1b5dc13f163f57ff1492bc9cb8de58a12904f6 Mon Sep 17 00:00:00 2001
From: Sanpi <sanpi@homecomputing.fr>
Date: Wed, 19 Jun 2013 11:46:12 +0200
Subject: [PATCH] Dot is allowed in github repository name

---
 PHPCI/Controller/ProjectController.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PHPCI/Controller/ProjectController.php b/PHPCI/Controller/ProjectController.php
index 70f95ab1..27ec611e 100644
--- a/PHPCI/Controller/ProjectController.php
+++ b/PHPCI/Controller/ProjectController.php
@@ -282,7 +282,7 @@ class ProjectController extends \PHPCI\Controller
                     break;
                 case 'github':
                 case 'bitbucket':
-                    if (!preg_match('/^[a-zA-Z0-9_\-]+\/[a-zA-Z0-9_\-]+$/', $val)) {
+                    if (!preg_match('/^[a-zA-Z0-9_\-]+\/[a-zA-Z0-9_\-\.]+$/', $val)) {
                         throw new \Exception('Repository name must be in the format "owner/repo".');
                     }
                     break;