From 3a12630a5d56b2f64182d16245df17b4ebe79e41 Mon Sep 17 00:00:00 2001
From: Jeff Carr <jcarr@wit.com>
Date: Mon, 3 Jun 2019 17:07:04 -0700
Subject: [PATCH] always work in the devel branch

Signed-off-by: Jeff Carr <jcarr@wit.com>
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

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