mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-22 17:51:16 +00:00
update: Make sure to detach branch when checking out a specific revision
Avoiding to get spammed about the fact that the branch is detached
This commit is contained in:
parent
6bb5408f1b
commit
0b36fc55c7
1 changed files with 1 additions and 1 deletions
|
@ -69,7 +69,7 @@ def update_repo(repo_name, repo_dir, revision, no_interaction, fetch_args=[], re
|
|||
if revision:
|
||||
print("Checking out %s in %s" % (revision, repo_name))
|
||||
git("fetch", *fetch_args, repository_path=repo_dir)
|
||||
git("checkout", revision, repository_path=repo_dir)
|
||||
git("checkout", "--detach", revision, repository_path=repo_dir)
|
||||
else:
|
||||
print("Updating branch %s in %s" % (get_branch_name(repo_dir), repo_name))
|
||||
git("pull", "--rebase", repository_path=repo_dir)
|
||||
|
|
Loading…
Reference in a new issue