We need to rename the repository for WikibaseSchema to EntitySchema.
This would include:
- renaming the gerrit repository (renaming on gerrit means creating the new repo and copying over the content)
- adjusting Jenkins CI config
- adjusting translatewiki/L10bot config: T222190: Adjust TranslateWiki/l10n-bot configuration for WikibaseSchema → EntitySchema rename
- renaming the github mirror https://github.com/wikimedia/mediawiki-extensions-WikibaseSchema
- rename Extension page on mediawiki.org => T221948: move and adapt the WikibaseSchema documentation on mediawiki.org
- replace the old repository’s content with a message pointing to the new repository T222192: Replace WikibaseSchema repository content with message pointing to EntitySchema
- possibly more?