Change Details

We need to rename the repository for WikibaseSchema to EntitySchema. This would include: [x] renaming the gerrit repository (renaming on gerrit means creating the new repo and copying over the content) [ ] [adjusting Jenkins CI config](https://gerrit.wikimedia.org/507298) [ ] adjusting translatewiki/L10bot config [ ] renaming the github mirror https://github.com/wikimedia/mediawiki-extensions-WikibaseSchema [ ] rename Extension page on mediawiki.org [ ] replace the old repository’s content with a message pointing to the new repository [ ] possibly more?

We need to rename the repository for WikibaseSchema to EntitySchema. This would include: [x] renaming the gerrit repository (renaming on gerrit means creating the new repo and copying over the content) [ ] [adjusting Jenkins CI config](https://gerrit.wikimedia.org/507298) [ ] adjusting translatewiki/L10bot config [ ] renaming the github mirror https://github.com/wikimedia/mediawiki-extensions-WikibaseSchema [ ] rename Extension page on mediawiki.org => {T221948} [ ] replace the old repository’s content with a message pointing to the new repository [ ] possibly more?

We need to rename the repository for WikibaseSchema to EntitySchema. This would include: [x] renaming the gerrit repository (renaming on gerrit means creating the new repo and copying over the content) [ ] [adjusting Jenkins CI config](https://gerrit.wikimedia.org/507298) [ ] adjusting translatewiki/L10bot config [ ] renaming the github mirror https://github.com/wikimedia/mediawiki-extensions-WikibaseSchema [ ] rename Extension page on mediawiki.org => {T221948} [ ] replace the old repository’s content with a message pointing to the new repository [ ] possibly more?