release: parallel push repos

Change-Id: I3f756f17aa6e68e559597b81c3f9068b6c390846

release/tag.sh

@@ -52,9 +52,7 @@ handle_repos() {
    tag_repo "${repo}" "${version}" "${msgfile}"
   done
   read -p "Press enter to start pushing"
-  for repo in ${repos}; do
-   push_repo "${repo}" "${version}"
-  done
+  parallel push_repo {} "${version}" ::: "${repos}"
   popd
 }
 
@@ -71,6 +69,8 @@ push_repo() {
   git -C "${repo}" push calyx "${version}"
 }
 
+export -f push_repo
+
 # error message
 # ARG1: error message for STDERR
 # ARG2: error status