From d0527dd359d72f1b9fbbca4d274c8d980713bd67 Mon Sep 17 00:00:00 2001
From: namezhenzhang <zhen-zha19@mails.tsinghua.edu.cn>
Date: Fri, 29 Jul 2022 23:03:55 +0800
Subject: [PATCH] del git.sh

---
 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 3e5b569..0000000
--- a/git.sh
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/bash
-
-# The MIT License (MIT)
-# Copyright (c) 2013 Alvin Abad
-
-if [ $# -eq 0 ]; then
-    echo "Git wrapper script that can specify an ssh-key file
-Usage:
-    git.sh -i ssh-key-file git-command
-    "
-    exit 1
-fi
-
-# remove temporary file on exit
-trap 'rm -f /tmp/.git_ssh.$$' 0
-
-if [ "$1" = "-i" ]; then
-    SSH_KEY=$2; shift; shift
-    echo "ssh -i $SSH_KEY \$@" > /tmp/.git_ssh.$$
-    chmod +x /tmp/.git_ssh.$$
-    export GIT_SSH=/tmp/.git_ssh.$$
-fi
-
-# in case the git command is repeated
-[ "$1" = "git" ] && shift
-
-# Run the git command
-git "$@"
\ No newline at end of file