tor-parallel-relay-conn/scripts/maint/git-push-all.sh

#!/bin/bash

# The remote upstream branch on which git.torproject.org/tor.git points to.
UPSTREAM_BRANCH="upstream"

git push $UPSTREAM_BRANCH \
   master \
   {release,maint}-0.4.0 \
   {release,maint}-0.3.5 \
   {release,maint}-0.3.4 \
   {release,maint}-0.3.3 \
   {release,maint}-0.2.9