During i18n export today. I am unable to delete '/scratch/exports/mediawiki-extensions/ApprovedRevs/.git/index.lock'
In Command.php line 166:
The command "/home/betawiki/config/bin/clupdate-git-repo 'ssh://l10n-bot@gerrit.wikimedia.org:29418/mediawiki/extensions/ApprovedRevs' '/scratch/exports /mediawiki-extensions/ApprovedRevs' 'master' '75e657c4533c51078b10735ec0e2366dc099e051' 'wikimedia-gerrit'" failed.
i18n export breaks for extensions completly.
Exit Code: 128(Invalid exit argument) Working directory: /scratch/exports Output: ================ Error Output: ================ fatal: Unable to create '/scratch/exports/mediawiki-extensions/ApprovedRevs/.git/index.lock': File exists. Another git process seems to be running in this repository, e.g. an editor opened by 'git commit'. Please make sure all processes are terminated then try again. If it still fails, a git process may have crashed in this repository earlier: remove the file manually to continue.