pushall.sh: pushing master tags