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