scripts/maint/git-push-all.sh

   1 #!/bin/bash
   2
   3 # The remote upstream branch on which git.torproject.org/tor.git points to.
   4 UPSTREAM_BRANCH="upstream"
   5
   6 git push $UPSTREAM_BRANCH \
   7    master \
   8    {release,maint}-0.4.0 \
   9    {release,maint}-0.3.5 \
  10    {release,maint}-0.3.4 \
  11    {release,maint}-0.3.3 \
  12    {release,maint}-0.2.9