Update gitenv-extra.sh