From 4200d897750c10f9c3399d83f7fa0415d93abd78 Mon Sep 17 00:00:00 2001
From: "Ralph J.Mayer" <rmayer@nerd-residenz.de>
Date: Thu, 1 Feb 2018 18:15:55 +0100
Subject: [PATCH] Update makefile

---
 Makefile | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/Makefile b/Makefile
index 2cea1c3..347486d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,3 @@
-github:
-	git add .
-	git commit -a -m "automatic commit"
-	git push origin master
-
 sense:
 	cat source/*.csv > temp/stage1-from-csv.csv
 	cat source/*.rem > temp/stage1.rem