diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-11-29 18:20:33 +0100 |
|---|---|---|
| committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-11-30 15:21:51 +0100 |
| commit | 67c99e7c63ba489454b66e697bf5dfb02bc1aa65 (patch) | |
| tree | c0cd169335e3ea6b93f5b3da0a3c140c8c7635a0 /scripts/manifest.py | |
| parent | 5dee71efa597f5ab177e30de4e4b164c7cbf2a91 (diff) | |
| download | manifest-67c99e7c63ba489454b66e697bf5dfb02bc1aa65.tar.gz manifest-67c99e7c63ba489454b66e697bf5dfb02bc1aa65.tar.bz2 manifest-67c99e7c63ba489454b66e697bf5dfb02bc1aa65.zip | |
scripts: generate-mirror-commands: fix tag fetching
We need to fetch the tags from the remote URL into the current git
repositories and the previous command only had the tag available in
FETCH_HEAD.
It's also a good idea not to fetch all tags in case two different
remote have the same tags at different revisions.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to 'scripts/manifest.py')
| -rwxr-xr-x | scripts/manifest.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/manifest.py b/scripts/manifest.py index 5090cc2..ddc3aa3 100755 --- a/scripts/manifest.py +++ b/scripts/manifest.py @@ -167,8 +167,8 @@ class Manifest(object): commands.append("else") - commands.append(" git -C {}/{}.git fetch {} {}".format( - base_directory, repo_directory, url, revision)) + commands.append(" git -C {}/{}.git fetch --no-tags {} {}:{}".format( + base_directory, repo_directory, url, revision, revision)) commands.append("fi") commands.append("touch {}/{}.git/git-daemon-export-ok".format( |