From 0c22ec9ae8188eaed0816ed4609f7f499b1be9eb Mon Sep 17 00:00:00 2001
From: Gerhard Hoffmann <g.hoffmann@atb-online.eu>
Date: Sat, 4 Jun 2022 18:11:23 +0200
Subject: [PATCH] delete obsolete file

---
 git.sh | 28 ----------------------------
 1 file changed, 28 deletions(-)
 delete mode 100755 git.sh

diff --git a/git.sh b/git.sh
deleted file mode 100755
index 80b2108..0000000
--- a/git.sh
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/bash
-set -x 
-commit_before_pull=""
-
-save_commit_before_pull () {
-    commit_before_pull=$(git reflog | grep "HEAD@{0}" | cut -d" " -f1)
-    if ! [ -z "$commit_before_pull" ]; then
-        if grep -qE "^[[:xdigit:]]{6,}$" <<< $commit_before_pull; then
-            return 0
-        fi
-    fi
-    commit_before_pull=""
-    return 1
-}
-# save_commit_before_pull
-
-revert_to_commit_before_pull () {
-    if ! [ -z "$commit_before_pull" ]; then
-        if grep -qE "^[[:xdigit:]]{6,}$" <<< $commit_before_pull; then
-            `git reset --hard "$commit_before_pull"`
-            if [ $? -eq 0 ]; then
-                return 0
-            fi
-        fi
-    fi
-    return 1
-}
-# revert_to_commit_before_pull