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