summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJeff Carr <[email protected]>2019-06-03 17:07:04 -0700
committerJeff Carr <[email protected]>2019-06-03 17:07:04 -0700
commit015d6a25ec8429f6a1ff6f7aee58f7d5cf0c0280 (patch)
tree292fd021c9e6cc60472cccb7fb390346a1c5169d
parentcc9edaab3a6d7594fac6ce082b3b2feed2114ced (diff)
always work in the devel branch
Signed-off-by: Jeff Carr <[email protected]>
-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