Come up with a name for the new extension (IP Info?), request a repository, and update the name of IP Info (if it differs)
Description
Description
Event Timeline
Comment Actions
Let's go with IPInfo :)
https://www.mediawiki.org/w/index.php?title=Gerrit/New_repositories/Requests/Entries&type=revision&diff=4064856&oldid=4058895&diffmode=source
I forgot that we'll also need to add some configuration to the CI, but I don't think that shouldn't be too hard.
Comment Actions
I've just created the gerrit repo mediawiki/extensions/IPInfo. The Phabricator mirror is at rEIPI.