makary/phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-06-10 05:18:52 +00:00
Code Issues Projects Releases Packages Wiki Activity

[ticket/9805] Better support for already existing repositories.

Browse source 
PHPBB3-9805
This commit is contained in:
Andreas Fischer 2011-01-25 19:03:32 +01:00
parent 8eee36dc0f
commit e1ae8c6a71
1 changed files with 14 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

31
git-tools/setup_github_network.php
View file

@ -12,12 +12,6 @@ if ($argc < 2)
show_usage(); show_usage();
} }
if (file_exists('.git'))
{
echo "[error] git repository already exists\n";
exit(1);
}
function show_usage() function show_usage()
{ {
$filename = basename(__FILE__); $filename = basename(__FILE__);
@ -58,9 +52,6 @@ run(null, $dry_run);
$network = get_network($username, $repository); $network = get_network($username, $repository);
$collaborators = get_collaborators($username, $repository); $collaborators = get_collaborators($username, $repository);
// Clone the blessed repository
clone_repository($username, $repository, isset($collaborators[$developer]));
switch ($scope) switch ($scope)
{ {
case 'collaborators': case 'collaborators':
@ -83,14 +74,20 @@ switch ($scope)
show_usage(); show_usage();
} }
if (file_exists('.git'))
{
add_remote($username, $repository, isset($collaborators[$developer]));
}
else
{
clone_repository($username, $repository, isset($collaborators[$developer]));
}
// Skip blessed repository.
unset($remotes[$username]);
foreach ($remotes as $remote) foreach ($remotes as $remote)
{ {
if ($remote['username'] == $username)
{
// Skip blessed repository.
continue;
}
add_remote($remote['username'], $remote['repository'], $remote['username'] == $developer); add_remote($remote['username'], $remote['repository'], $remote['username'] == $developer);
} }
@ -99,12 +96,12 @@ run('git remote update');
function clone_repository($username, $repository, $pushable = false) function clone_repository($username, $repository, $pushable = false)
{ {
$url = get_repository_url($username, $repository, false); $url = get_repository_url($username, $repository, false);
run("git clone $url ./"); run("git clone $url ./ --origin $username");
if ($pushable) if ($pushable)
{ {
$ssh_url = get_repository_url($username, $repository, true); $ssh_url = get_repository_url($username, $repository, true);
run("git remote set-url --push origin $ssh_url"); run("git remote set-url --push $username $ssh_url");
} }
} }