Видалення користувача з gerrit

Треба виконати наступні команди в под реєстрового або центрального gerrit:

cd /tmp
git clone /var/gerrit/review_site/git/All-Users.git
cd All-Users
git fetch origin refs/meta/external-ids
git checkout FETCH_HEAD

git grep <email-користувача>

Приклад вихідних даних:
*398cd83a701a63c77dfc1998f76524561208c879:[externalId "gerrit:foobar"]
398cd83a701a63c77dfc1998f76524561208c879:   email = foobar@example.com
9b622a00bcd48295d545ba946afdd91df8b0ed61:[externalId "username:foobar"]

git rm 398cd83a701a63c77dfc1998f76524561208c879 9b622a00bcd48295d545ba946afdd91df8b0ed61
git config --global user.email admin@epam.com
git commit -m "Remove account foobar"
git push origin HEAD:refs/meta/external-ids