Update pull_i18n_from_github.sh

change user for pushing from peter to jeff