diff options
author | John Molakvoæ <skjnldsv@protonmail.com> | 2022-08-19 16:58:19 +0300 |
---|---|---|
committer | John Molakvoæ <skjnldsv@protonmail.com> | 2022-08-19 17:00:54 +0300 |
commit | 64100534d928200f28a27a3d75b0bbee43dbfb50 (patch) | |
tree | d3d30e6b918c76c1a53b1097f62882937aca0cdb | |
parent | b3b77807ca6eb528ba506acb03e31d143210797b (diff) |
Don't clone the full repo to tag
Signed-off-by: John Molakvoæ <skjnldsv@protonmail.com>
-rw-r--r-- | tagger/tag.php | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tagger/tag.php b/tagger/tag.php index 9136541..6a449ba 100644 --- a/tagger/tag.php +++ b/tagger/tag.php @@ -74,10 +74,8 @@ foreach($repositories as $repo) { if ($name === 'support' && gethostname() === 'client-builder') { $SSH_OPTIONS = "GIT_SSH_COMMAND='ssh -i ~/.ssh/id_rsa.support-app -o IdentitiesOnly=yes'"; } - // Clone the repository - shell_exec('cd ' . __DIR__ . ' && ' . $SSH_OPTIONS . ' git clone git@github.com:' . $repo . '.git'); - // Checkout the required branch - shell_exec('cd ' . __DIR__ . '/'. $name . ' && git checkout ' . $branch); + // Clone the repository and checkout the required branch + shell_exec('cd ' . __DIR__ . ' && ' . $SSH_OPTIONS . ' git clone --depth=1 --branch="' . $branch . '" https://github.com/' . $repo); // Create a signed tag shell_exec('cd ' . __DIR__ . '/' . $name . ' && git tag -s ' . $tag . ' -m \'' . $tag . '\''); // Push the signed tag |