push-git-modules

   1 #!/bin/sh -x
   2 set -e
   3 test -e wv/wvstreams/Makefile
   4 (cd wv/wvstreams && git push origin HEAD:master) &&
   5 (cd wv && git push origin HEAD:master) &&
   6 git push origin HEAD:master ||
   7 echo "Failed!"
   8