Adding a file for “gerrit:User” all lowercase
cd /srv/Projects/Wikimedia/All-Users
git fetch origin refs/meta/external-ids:refs/meta/external-ids
git checkout FETCH_HEAD
gerrit-username-to-lowercase.sh "Username"
git commit -m 'thcipriani: add gerrit:Username'
git format-patch HEAD^
scp xxx.patch cobalt.wikimedia.org:/tmp/xxx.patch
sudo su - gerrit2
cp -r /srv/gerrit/git/All-Users.git /srv/gerrit/All-Users-$(date -I).git
git clone /srv/gerrit/git/All-Users.git All-Users
cd All-Users
git fetch origin refs/meta/external-ids:refs/meta/external-ids
git checkout FETCH_HEAD
git apply --check --3way xxx.patch
git am --3way xxx.patch
git push origin HEAD:refs/meta/external-ids
ssh -p 29418 gerrit.wikimedia.org -- gerrit index start accounts --force