diff --git a/push.sh b/push.sh deleted file mode 100755 index 3435685..0000000 --- a/push.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash - -# Git push what is already in the repository -git pull --no-edit; git fetch; git add .; git commit -am "latest pushes"; git push