diff options
author | Andreas Fischer <bantu@phpbb.com> | 2011-01-26 03:18:31 +0100 |
---|---|---|
committer | Andreas Fischer <bantu@phpbb.com> | 2011-02-03 11:12:48 +0100 |
commit | 50bdb5da89cdbca0d4331a7f4f721f8be712d0ca (patch) | |
tree | 0a3f158d95781f34e13332aa9a1ec69201ea0a88 /git-tools/setup_github_network.php | |
parent | [ticket/9805] Move check lower down. (diff) | |
download | phpbb-50bdb5da89cdbca0d4331a7f4f721f8be712d0ca.tar.gz phpbb-50bdb5da89cdbca0d4331a7f4f721f8be712d0ca.tar.bz2 phpbb-50bdb5da89cdbca0d4331a7f4f721f8be712d0ca.zip |
[ticket/9805] Setup security repository for developers.
PHPBB3-9805
Diffstat (limited to 'git-tools/setup_github_network.php')
-rw-r--r-- | git-tools/setup_github_network.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/git-tools/setup_github_network.php b/git-tools/setup_github_network.php index 911d336c2d..08e99e2f32 100644 --- a/git-tools/setup_github_network.php +++ b/git-tools/setup_github_network.php @@ -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]); |