From 947cd6b80b1c98e7e441135228559b13654e36e9 Mon Sep 17 00:00:00 2001
From: "Michael H.G. Schmidt" <michael@schmidt2.de>
Date: Fri, 19 Mar 2021 18:26:45 +0100
Subject: [PATCH] added 2 little git scripts

---
 tools/commit.cmd | 14 ++++++++++++++
 tools/pull.cmd   |  3 +++
 2 files changed, 17 insertions(+)
 create mode 100644 tools/commit.cmd
 create mode 100644 tools/pull.cmd

diff --git a/tools/commit.cmd b/tools/commit.cmd
new file mode 100644
index 0000000..587e2a2
--- /dev/null
+++ b/tools/commit.cmd
@@ -0,0 +1,14 @@
+@echo off
+
+IF %1.==. GOTO USAGE
+
+git add .
+git commit -a -m %1
+git push
+GOTO END
+
+:USAGE
+echo "usage: %0 <git commit message>"
+  
+:END
+
diff --git a/tools/pull.cmd b/tools/pull.cmd
new file mode 100644
index 0000000..9de7e85
--- /dev/null
+++ b/tools/pull.cmd
@@ -0,0 +1,3 @@
+@echo off
+git pull
+