@Bawolff: Why is the bot not properly picking up my changes in gerrit:1046026?
Topic on Module talk:ExtensionJson
Appearance
Seems like there was a shallow.lock file in CentralAuth that was preventing the bot from updating things after that extension. Hopefully should be fixed now.