From a5010f0c89fec84bed40138b28ce85e89545b441 Mon Sep 17 00:00:00 2001 From: souldbminersmwc Date: Fri, 31 Oct 2025 17:36:49 -0400 Subject: [PATCH] misc: update script --- fix_head.bat | 5 ----- fix_head.sh | 2 ++ 2 files changed, 2 insertions(+), 5 deletions(-) delete mode 100644 fix_head.bat create mode 100644 fix_head.sh diff --git a/fix_head.bat b/fix_head.bat deleted file mode 100644 index 7b5fc6dc..00000000 --- a/fix_head.bat +++ /dev/null @@ -1,5 +0,0 @@ -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 \ No newline at end of file diff --git a/fix_head.sh b/fix_head.sh new file mode 100644 index 00000000..995ac58a --- /dev/null +++ b/fix_head.sh @@ -0,0 +1,2 @@ +rm -f .git/refs/remotes/origin/HEAD +git remote prune origin