mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-06-05 06:58:56 +00:00
build_manifest.py: Use the project path not the name
The project path is what's shown in the url bar, ex gitlab.example.com/john/gstreamer -> path == gstreamer The project name is defined in project settings and its just. Its more common to change the name of a fork than its path.
This commit is contained in:
parent
61c5d7b6cf
commit
7ede52d7c7
1 changed files with 3 additions and 3 deletions
|
@ -68,12 +68,12 @@ def find_repository_sha(module: str, branchname: str) -> Tuple[str, str]:
|
||||||
continue
|
continue
|
||||||
|
|
||||||
id = project['id']
|
id = project['id']
|
||||||
if project['namespace']['name'] in useful_namespaces:
|
if project['namespace']['path'] in useful_namespaces:
|
||||||
if project['namespace']['name'] == user_namespace:
|
if project['namespace']['path'] == user_namespace:
|
||||||
# If we have a branch with same name, use it.
|
# If we have a branch with same name, use it.
|
||||||
for branch in request(f"{id}/repository/branches"):
|
for branch in request(f"{id}/repository/branches"):
|
||||||
if branch['name'] == branchname:
|
if branch['name'] == branchname:
|
||||||
name = project['namespace']['name']
|
name = project['namespace']['path']
|
||||||
print(f"{name}/{branchname}")
|
print(f"{name}/{branchname}")
|
||||||
|
|
||||||
return 'user', branch['commit']['id']
|
return 'user', branch['commit']['id']
|
||||||
|
|
Loading…
Reference in a new issue