Add shared dev files to repo
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	Lokal_Profil
	Jun 24 2020, 9:53 AM

Description

There are a variety of files which are used only for handling the development of Wikispeech. Nevertheless these would be useful to package in the repo to ensure 1) Any new developer can get easy access to them, 2) current devs use the same setup.

The suggestion is that these are put into a dev/ directory in the repo root and a small README.md is added to that directory to give the background of each file.

Suggested files to be added

MediaWiki settings needed (in Vagrant) for the extension
Run phpunit bash script
Run phan bash script

Details

	Subject	Repo	Branch	Lines +/-
	Add shared developer resources to repo	mediawiki/extensions/Wikispeech	master	+25 -0

Customize query in gerrit

Related Objects

Mentioned In: rEWIS4c05a13e7fbd: Add shared developer resources to repo
T254341: Add short README to Wikispeech repo
Mentioned Here: T255652: Activate phan CI tests

Event Timeline

Lokal_Profil created this task.Jun 24 2020, 9:53 AM

Restricted Application added a project: Wikispeech-Jobrunner. · View Herald TranscriptJun 24 2020, 9:53 AM

Restricted Application added a subscriber: Aklapper. · View Herald Transcript

Lokal_Profil added a project: Wikispeech-WMSE.Jun 24 2020, 9:53 AM

Lokal_Profil mentioned this in T254341: Add short README to Wikispeech repo.

Lokal_Profil added a project: User-LokalProfil.

Install php-ast instructions/shellfile gets handled in T255652

Change 607459 had a related patch set uploaded (by Lokal Profil; owner: Lokal Profil):
[mediawiki/extensions/Wikispeech@master] Add shared developer resources to repo

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

gerritbot added a project: Patch-For-Review.Jun 24 2020, 10:08 AM

Change 607459 merged by Karl Wettin (WMSE):
[mediawiki/extensions/Wikispeech@master] Add shared developer resources to repo

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

Lokal_Profil mentioned this in rEWIS4c05a13e7fbd: Add shared developer resources to repo.Jun 24 2020, 11:20 AM

Lokal_Profil moved this task from 📥 Backlog to ☑️ Done on the User-LokalProfil board.Jun 24 2020, 11:48 AM

Lokal_Profil edited projects, added Wikispeech-Jobrunner (Sprint); removed Patch-For-Review, Wikispeech-Jobrunner.

Lokal_Profil moved this task from Backlog to Done on the Wikispeech-Jobrunner (Sprint) board.

Lokal_Profil moved this task from Unsorted to Documentation on the Wikispeech-Text-to-Speech board.

Lokal_Profil claimed this task.Jun 25 2020, 8:14 AM

Sebastian_Berlin-WMSE closed this task as Resolved.Jun 25 2020, 11:07 AM