Dot is allowed in github repository name

This commit is contained in:
Sanpi 2013-06-19 11:46:12 +02:00
parent a8ad93bb66
commit 5c1b5dc13f

View file

@ -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;