From: Silvio Rhatto <rhatto@riseup.net>
Date: Sat, 18 Nov 2017 08:26:43 +0000 (-0200)
Subject: Avoid detached HEAD
X-Git-Url: https://gitweb.fluxo.info/?a=commitdiff_plain;h=8b56dface439ff13c9977d958b891bfb79b09850;p=utils-git.git

Avoid detached HEAD
---

diff --git a/commit b/commit
index f139650..0bf2b18 100755
--- a/commit
+++ b/commit
@@ -131,6 +131,12 @@ function git_commit {
   # Remove '--config' from args, otherwise it goes to the commit log
   params="`echo $* | sed -e 's/--config//'`"
 
+  # Avoid detached HEAD
+  if $GIT branch | grep -q '^* (HEAD detached'; then
+    echo "Beware: trying to commit in detached HEAD state; checkout to a branch first"
+    exit 1
+  fi
+
   # If there are no staged files, commit everything.
   # Otherwise commit just what was staged
   if $GIT status --short | grep -q "^[AM]"; then