From ec10998b80a3ea29fc3819cd4d0d38b3f4c9289b Mon Sep 17 00:00:00 2001 From: Ronaldson Bellande <47253433+RonaldsonBellande@users.noreply.github.com> Date: Wed, 27 Sep 2023 23:44:16 -0400 Subject: [PATCH] Delete push.sh --- push.sh | 4 ---- 1 file changed, 4 deletions(-) delete mode 100755 push.sh 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