mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-01-31 19:42:26 +00:00
build_manifest: Add the to repo names to avoid spamming about redirections
This commit is contained in:
parent
10ae6d0326
commit
10ffa6f1af
1 changed files with 1 additions and 1 deletions
|
@ -278,7 +278,7 @@ if __name__ == "__main__":
|
|||
sys.exit(0)
|
||||
|
||||
projects: str = ''
|
||||
project_template: str = " <project name=\"{}\" remote=\"{}\" revision=\"{}\" />\n"
|
||||
project_template: str = " <project name=\"{}.git\" remote=\"{}\" revision=\"{}\" />\n"
|
||||
for module in GSTREAMER_MODULES:
|
||||
print(f"Checking {module}:", end=' ')
|
||||
remote, revision = find_repository_sha(module, current_branch)
|
||||
|
|
Loading…
Reference in a new issue