git checkout某个commit后获取提交id

ArkMowers · Jul 21, 2024 · e695eac · e695eac
1 parent af4d2e4
commit e695eac
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/arknights_mower/utils/git_rev.py b/arknights_mower/utils/git_rev.py
@@ -134,8 +134,7 @@ def git_rev(repo):
 
     # Find head file .git/HEAD (e.g. ref: ref/heads/master => .git/ref/heads/master)
     if not head_ref.startswith("ref: "):
-        warn(f"expected 'ref: path/to/head' in {git_head}")
-        return None
+        return head_ref
     head_ref = head_ref[5:].strip()
 
     # Read commit id from head file