pushAllRepos.sh: Fixed bug on the SVN side.