1
0
mirror of https://github.com/phpbb/phpbb.git synced 2025-04-21 08:12:17 +02:00

[ticket/9805] Setup security repository for developers.

PHPBB3-9805
This commit is contained in:
Andreas Fischer 2011-01-26 03:18:31 +01:00
parent 67fe441f7e
commit 50bdb5da89

View File

@ -84,6 +84,12 @@ else
clone_repository($username, $repository, isset($collaborators[$developer]));
}
// Add private security repository for developers
if ($username == 'phpbb' && $repository == 'phpbb3' && isset($collaborators[$developer]))
{
run("git remote add $username-security " . get_repository_url($username, "$repository-security", true));
}
// Skip blessed repository.
unset($remotes[$username]);