pushversion.sh: writing manifest