fix clone_url
authorMichael Wallner <mike@php.net>
Thu, 28 May 2015 13:01:26 +0000 (15:01 +0200)
committerMichael Wallner <mike@php.net>
Thu, 28 May 2015 13:01:26 +0000 (15:01 +0200)
public/mirror.php

index 4203c9e1a24674b5286cc5ce434b7f25a2c729dd..aa83c4836e36fd0d95ab361d337808b9d7830e0e 100644 (file)
@@ -46,12 +46,13 @@ switch ($evt) {
                                $repo = $json->repository->full_name;
                                $path = $mirror . "/" . $repo;
                                if (is_dir($path) && chdir($path)) {
-                                       passthru("git fetch -p 2>&1", $rv);
+                                       passthru("git fetch -vp 2>&1", $rv);
                                        if ($rv == 0) {
                                                $response->setResponseCode(200);
                                        }
                                } elseif (mkdir($path, 0755, true) && chdir($path)) {
-                                       passthru("git clone --mirror " . escapeshellarg($repo) . " . 2>&1", $rv);
+                                       $source = escapeshellarg($json->repository->clone_url);
+                                       passthru("git clone --mirror $source . 2>&1", $rv);
                                        if ($rv == 0) {
                                                $response->setResponseCode(200);
                                        }