Page MenuHomePhabricator

Move Domino PHP port from Github into Gerrit
Closed, ResolvedPublic

Description

Add some documentation files and move the PHP port of domino from its Github repository into Gerrit so that evaluation and development can continue.

Event Timeline

Aklapper renamed this task from Move Domino PHP port into Gerrit to Move Domino PHP port from Github into Gerrit.Jul 10 2020, 1:52 PM

You can make a request at https://www.mediawiki.org/wiki/Gerrit/New_repositories/Requests for a repository to be imported and they'll take care of it for you.

Change 661196 had a related patch set uploaded (by C. Scott Ananian; owner: C. Scott Ananian):
[integration/config@master] Zuul: [mediawiki/libs/Dodo] Turn on jenkins CI for the dodo library

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

Change 661196 merged by jenkins-bot:
[integration/config@master] Zuul: [mediawiki/libs/Dodo] Enable CI for new library repo

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