Added the push-all script

push-all

@@ -0,0 +1,3 @@
+#!/bin/zsh -f
+
+mr -j5 push