misc: add fix head script

2025-10-31 17:35:18 -04:00
parent 68de640ea2
commit bffd05bc3d
1 changed files with 5 additions and 0 deletions
--- a/fix_head.bat
+++ b/fix_head.bat
@@ -0,0 +1,5 @@
+git update-ref -d refs/remotes/origin/HEAD
+git remote prune origin
+git fetch origin
+git symbolic-ref refs/remotes/origin/HEAD refs/remotes/origin/main
+git remote show origin