diff options
| -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( |