diff --git a/pull.sh b/pull.sh
deleted file mode 100755
index e34ba41c4..000000000
--- a/pull.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-ROOT=$PWD
-cd src/package/pikascript/pikascript-core
-git pull
-cd $ROOT
-git pull
diff --git a/push.sh b/push.sh
deleted file mode 100755
index adffc605a..000000000
--- a/push.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-ROOT=$PWD
-cd src/package/pikascript/pikascript-core
-git push
-cd $ROOT
-git push
-