diff options
| author | John Molakvoæ <skjnldsv@users.noreply.github.com> | 2022-08-25 17:05:52 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-25 17:05:52 +0300 |
| commit | 7ed3c2a6de81a60406ed7acd4b208b5acc8b2d14 (patch) | |
| tree | 915f9f2eb5c43e6fe17257288b4f75694dcc2cf2 | |
| parent | c676482ac1c8b1ce3f863b44f9d52894e1b8aa73 (diff) | |
| parent | 8a5e18376cd2ec00227e7e5db0142b5efc0696e8 (diff) | |
Merge pull request #63 from nextcloud/fix/noid/github-connection
| -rw-r--r-- | tagger/tag.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tagger/tag.php b/tagger/tag.php index 6a449ba..1f4a96b 100644 --- a/tagger/tag.php +++ b/tagger/tag.php @@ -1,4 +1,4 @@ -<?php +<?php if(count($argv) !== 3) { die("tag.php \$branchname \$tag\n"); } @@ -75,7 +75,7 @@ foreach($repositories as $repo) { $SSH_OPTIONS = "GIT_SSH_COMMAND='ssh -i ~/.ssh/id_rsa.support-app -o IdentitiesOnly=yes'"; } // Clone the repository and checkout the required branch - shell_exec('cd ' . __DIR__ . ' && ' . $SSH_OPTIONS . ' git clone --depth=1 --branch="' . $branch . '" https://github.com/' . $repo); + shell_exec('cd ' . __DIR__ . ' && ' . $SSH_OPTIONS . ' git clone --depth=1 --branch="' . $branch . '" git@github.com:' . $repo); // Create a signed tag shell_exec('cd ' . __DIR__ . '/' . $name . ' && git tag -s ' . $tag . ' -m \'' . $tag . '\''); // Push the signed tag |