1 files changed, 2 insertions, 0 deletions
diff --git a/tools/push b/tools/push
index 2f025e96..206ec87c 100755
--- a/tools/push
+++ b/tools/push
@@ -9,4 +9,6 @@ git merge --no-ff next
 git checkout next
 git rebase master
 git push
+git checkout master
 ./acprep upload
+git checkout next