Manual push

local.sh

@@ -0,0 +1,14 @@
+#!/bin/sh
+cd "$( dirname "$( realpath "$0" )" )"
+
+pull() {
+	git pull
+}
+
+push() {
+	git add .
+	git commit -m "Manual push"
+	git push
+}
+
+$1