CC Addshore to keep me honest.

Change 484801 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[operations/mediawiki-config@master] dblists: Rename 'wikidatarepo' to 'wikibaserepo' part I – Create it

https://gerrit.wikimedia.org/r/484801

Change 484802 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[operations/mediawiki-config@master] dblists: Rename 'wikidatarepo' to 'wikibaserepo' part II – Use it

https://gerrit.wikimedia.org/r/484802

Change 484803 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[operations/mediawiki-config@master] dblists: Rename 'wikidatarepo' to 'wikibaserepo' part III – Stop using it

https://gerrit.wikimedia.org/r/484803

Change 484804 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[operations/mediawiki-config@master] dblists: Rename 'wikidatarepo' to 'wikibaserepo' part IV – Delete it

https://gerrit.wikimedia.org/r/484804

Change 484801 merged by jenkins-bot:
[operations/mediawiki-config@master] dblists: Rename 'wikidatarepo' to 'wikibaserepo' part I – Create it

https://gerrit.wikimedia.org/r/484801

Mentioned in SAL (#wikimedia-operations) [2019-02-04T17:56:44Z] <jforrester@deploy1001> Synchronized dblists/wikibaserepo.dblist: T213504: Create the new wikibaserepo dblist (duration: 00m 47s)

Mentioned in SAL (#wikimedia-operations) [2019-02-04T17:58:53Z] <jforrester@deploy1001> Synchronized wmf-config/CommonSettings.php: T213504: Tell CommonSettings about the new wikibaserepo dblist (duration: 00m 47s)

Change 484802 merged by jenkins-bot:
[operations/mediawiki-config@master] dblists: Rename 'wikidatarepo' to 'wikibaserepo' part II – Use it

https://gerrit.wikimedia.org/r/484802

Mentioned in SAL (#wikimedia-operations) [2019-02-04T18:02:26Z] <jforrester@deploy1001> Synchronized wmf-config/InitialiseSettings.php: T213504: Configure wikibaserepo dblist just like the wikidatarepo one (duration: 00m 46s)

Change 484803 merged by jenkins-bot:
[operations/mediawiki-config@master] dblists: Rename 'wikidatarepo' to 'wikibaserepo' part III – Stop using it

https://gerrit.wikimedia.org/r/484803

Mentioned in SAL (#wikimedia-operations) [2019-02-04T18:06:29Z] <jforrester@deploy1001> Synchronized wmf-config/InitialiseSettings.php: T213504: Unconfigure the wikidatarepo dblist (duration: 00m 46s)

Change 484804 merged by jenkins-bot:
[operations/mediawiki-config@master] dblists: Rename 'wikidatarepo' to 'wikibaserepo' part IV – Delete it

https://gerrit.wikimedia.org/r/484804

Mentioned in SAL (#wikimedia-operations) [2019-02-04T18:09:50Z] <jforrester@deploy1001> Synchronized wmf-config/CommonSettings.php: T213504: Stop telling CommonsSettings about the wikidatarepo dblist (duration: 00m 45s)

Mentioned in SAL (#wikimedia-operations) [2019-02-04T18:11:29Z] <jforrester@deploy1001> Synchronized dblists/: T213504: Finally, drop the wikidatarepo dblist (duration: 00m 45s)