fix pygit2 (#536)

2026-08-16 13:13:16 +02:00 · 2023-10-04 13:09:34 -07:00
parent ba58dbc8bc
commit 4c0a16d9bc
2 changed files with 3 additions and 1 deletions
@@ -58,6 +58,8 @@ def git_clone(url, dir, name, hash=None):
        commit = repo.get(hash)

        repo.checkout_tree(commit, strategy=pygit2.GIT_CHECKOUT_FORCE)
+        repo.set_head(commit.id)
+
        print(f'{name} checkout finished for {hash}.')
    except Exception as e:
        print(f'Git clone failed for {name}: {str(e)}')