From 021d2df326adba6fe9c028d65d1445a28753773e Mon Sep 17 00:00:00 2001
From: Hsieh Chin Fan <typebrook@gmail.com>
Date: Tue, 8 Sep 2020 11:18:49 +0800
Subject: update

---
 tools/check_upstream | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100755 tools/check_upstream

(limited to 'tools/check_upstream')

diff --git a/tools/check_upstream b/tools/check_upstream
deleted file mode 100755
index e9e8841..0000000
--- a/tools/check_upstream
+++ /dev/null
@@ -1,24 +0,0 @@
-#! /bin/bash
-
-# This script is for repo forked from others
-# check $1(repo) if upstream branch origin/master is
-# ahead of local branch $2(default to dev)
-
-if [ ! -d "$1" ]; then
-    return 0
-fi
-
-head='dev'
-if [ $# -eq 2 ]
-then
-    head=$2
-fi
-
-cd "$1" && \
-git fetch origin && \
-if ! git rev-list "$head" | grep "$(git rev-parse origin/master)" > /dev/null; then
-  [[ $(git pull my) == 'Alrady up to date.' ]] || \
-  echo "New commit at" "$1"
-fi
-
-echo "$(date)" check "$1" >> "$SETTING_DIR/log"
-- 
cgit v1.2.3-70-g09d2