Page MenuHomePhabricator

ProveIt has been moved
Closed, ResolvedPublic1 Estimated Story Points

Description

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.

Event Timeline

@Sophivorus Please check that localization updates are able to continue. A heads-up would have been nice.

Change 916901 had a related patch set uploaded (by Abijeet Patro; author: Abijeet Patro):

[translatewiki@master] Move Proveit repository

https://gerrit.wikimedia.org/r/916901

abi_ triaged this task as Medium priority.
abi_ set the point value for this task to 1.
abi_ subscribed.

Adding it to current sprint since this is generating a lot of logspam and translations are not being submitted to a repo where they will be used.

abi_ changed the task status from Open to In Progress.May 8 2023, 6:32 AM
abi_ updated the task description. (Show Details)
abi_ updated the task description. (Show Details)

Change 916901 merged by jenkins-bot:

[translatewiki@master] Move Proveit repository

https://gerrit.wikimedia.org/r/916901

abi_ updated the task description. (Show Details)
abi_ moved this task from In Review to Done on the Language-Team (Language-2023-April-June) board.