always work in the devel branch

Signed-off-by: Jeff Carr <jcarr@wit.com>
2019-06-03 17:07:04 -07:00 · 2019-06-03 17:07:04 -07:00 · 3a12630a5d
parent 2ce5732053
commit 3a12630a5d
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -1,5 +1,6 @@
 # simple sortcut to push all git changes
 push:
 	git checkout devel
 	git pull
 	git add --all
 	-git commit -a -s