1 files changed, 1 insertions, 0 deletions

diff --git a/tools/push b/tools/push
index 2d8be6a2..2f025e96 100755
--- a/tools/push
+++ b/tools/push
@@ -9,3 +9,4 @@ git merge --no-ff next
 git checkout next
 git rebase master
 git push
+./acprep upload