Change Details

> PHP Warning: filemtime(): stat failed for /resources/projects/proveit/i18n/en.json https://gerrit.wikimedia.org/r/admin/repos/q/filter:prove says it has been moved to `mediawiki/gadgets/ProveIt`. Need to update the repo url and verify access permissions and ci tests are in place.

> PHP Warning: filemtime(): stat failed for /resources/projects/proveit/i18n/en.json https://gerrit.wikimedia.org/r/admin/repos/q/filter:prove says it has been moved to `mediawiki/gadgets/ProveIt`. Need to update the repo url and verify access permissions and CI tests are in place. - [ ] Update repository URL - [ ] Update Project page - [ ] Ensure translations are being pushed back upstream - [ ] Ensure patches get auto-merged

> PHP Warning: filemtime(): stat failed for /resources/projects/proveit/i18n/en.json https://gerrit.wikimedia.org/r/admin/repos/q/filter:prove says it has been moved to `mediawiki/gadgets/ProveIt`. Need to update the repo url and verify access permissions and ci tests are in place.CI tests are in place. - [ ] Update repository URL - [ ] Update Project page - [ ] Ensure translations are being pushed back upstream - [ ] Ensure patches get auto-merged