Create a Vagrant role for ModDoc
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	jeblad
	Mar 20 2020, 5:24 AM

Description

Create a simple Vagrant role with an infopage for the ModDoc extension.

It is a work in progress that had stalled, but a student have expressed interest.

Details

	Subject	Repo	Branch	Lines +/-
	Added a Vagrant role for the ModDoc extension	mediawiki/vagrant	master	+30 -0

Customize query in gerrit

Event Timeline

jeblad created this task.Mar 20 2020, 5:24 AM

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMar 20 2020, 5:24 AM

Change 581889 had a related patch set uploaded (by John Erling Blad; owner: John Erling Blad):
[mediawiki/vagrant@master] Added a Vagrant role for the ModDoc extension

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

gerritbot added a project: Patch-For-Review.Mar 20 2020, 5:27 AM

jeblad updated the task description. (Show Details)Mar 20 2020, 5:53 AM

Change 581889 merged by jenkins-bot:
[mediawiki/vagrant@master] Added a Vagrant role for the ModDoc extension

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

Maintenance_bot removed a project: Patch-For-Review.Mar 20 2020, 10:10 AM

Aklapper added a project: MediaWiki-Vagrant.Mar 20 2020, 12:48 PM

Aklapper removed a subscriber: MediaWiki-Vagrant.

I believe this is fixed, but I can't verify due to slow line. Will open a new task if errors are persistent when my fast line is back.

Create a Vagrant role for ModDocClosed, ResolvedPublicActions

Description

Details

Event Timeline

Create a Vagrant role for ModDoc
Closed, ResolvedPublic
Actions