summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 6353f93..2b7dd82 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,6 @@
# simple sortcut to push all git changes
push:
+ git checkout devel
git pull
git add --all
-git commit -a -s