==> Updating zotero_translators ... [*] Updating repo in /vagrant/srv/zotero/translators ... From https://gerrit.wikimedia.org/r/p/mediawiki/services/zotero/translators + 0476aa0...6fc0f92 master -> origin/master (forced update) * [new branch] patched -> origin/patched First, rewinding head to replay your work on top of it... *** Please tell me who you are. Run git config --global user.email "you@example.com" git config --global user.name "Your Name" to set your account's default identity. Omit --global to set the identity only in this repository. fatal: empty ident name (for <vagrant@mediawiki-vagrant.dev>) not allowed You need to set your committer info first ***** GIT PULL failed in /vagrant/srv/zotero/translators for branch 'master'
This probably only happens when upstream has force pushed so not a huge concern.
Getting the empty ident error on manual commit is a good thing so maybe vagrant should detect when it's missing and run with git pull -c user.name=vagrant?
See also T86299: Use Gerrit settings to configure git for MediaWiki-Vagrant.