Gerrit1001 is ready to be migrated to.
Steps before:
[] Annouce on Wikitech-I that there will be a gerrit migration to a new server.
Steps on the day of migration:
[] Stop gerrit on cobalt && disable puppet.
[] Rsync repos again to gerrit1001 to ensure everything is updated.
[] Merge [[ https://gerrit.wikimedia.org/r/#/c/operations/puppet/+/535966/ | mariadb::ferm_misc: allow connections from gerrit1001 ]]
[] Copy index over from cobalt. (/var/lib/gerrit2/review_site/index)
[] Run `java -jar review_site/bin/gerrit.war init -d review_site --batch --no-auto-start --skip-plugins --skip-all-downloads`
[] Start gerrit
~~[] Run `/usr/bin/java -jar review_site/bin/gerrit.war reindex -d review_site --threads 4` (this may take a while)~~
[] Run the online reindexer.
[] Merge [[ https://gerrit.wikimedia.org/r/#/c/operations/puppet/+/541110/ | Gerrit: Switch master from cobalt to gerrit1001 ]]
[] Merge [[ https://gerrit.wikimedia.org/r/#/c/operations/dns/+/541111/ | Switch gerrit.wikimedia.org backend to gerrit1001 ]]