diff options
| author | brkirch <brkirch@users.noreply.github.com> | 2023-08-12 04:44:16 -0400 |
|---|---|---|
| committer | brkirch <brkirch@users.noreply.github.com> | 2023-08-13 10:07:14 -0400 |
| commit | 9058620cec2788495d295f4e68ef2932d6d700e6 (patch) | |
| tree | 68c25d25df2e3d4a28ee769a7fb6b3c2ab004412 /modules | |
| parent | 2489252099c299bed49a9d4a39a4ead73b6b6f10 (diff) | |
`git checkout` with commit hash
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/launch_utils.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/launch_utils.py b/modules/launch_utils.py index 4fc254a2..e77baa52 100644 --- a/modules/launch_utils.py +++ b/modules/launch_utils.py @@ -175,7 +175,7 @@ def git_clone(url, dir, name, commithash=None): run_git(dir, name, 'fetch', f"Fetching updates for {name}...", f"Couldn't fetch {name}", autofix=False)
- run_git(dir, name, 'checkout', f"Checking out commit for {name} with hash: {commithash}...", f"Couldn't checkout commit {commithash} for {name}", live=True)
+ run_git(dir, name, f'checkout {commithash}', f"Checking out commit for {name} with hash: {commithash}...", f"Couldn't checkout commit {commithash} for {name}", live=True)
return
|