Script to do git reset —hard HEAD on all matching repos

giellalt · May 16, 2024 · 83d682e · 83d682e
1 parent e1685ab
commit 83d682e
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/devtools/gut-scripts/reset-hard.sh b/devtools/gut-scripts/reset-hard.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+# git commit -m  for gut apply script
+# Change the filename as needed.
+
+# Variables:
+git reset --hard HEAD