new extensions should be added to mediawiki/extensions.git automatically
Closed, DeclinedPublic
Actions

Assigned To

None

Authored By

	hashar
	Mar 22 2013, 8:50 PM

Project Tags

Referenced Files

None

Subscribers

Description

Whenever a new MediaWiki extension git repository is created under mediawiki/extensions/ , we should have it added as a submodule to mediawiki/extensions.git

I am not sure if that should be handled by Gerrit directly or if we should run a bot to run the script in mediawiki/extensions.git

Version: unspecified
Severity: enhancement

Details

Reference: bz46462

Event Timeline

• bzimport raised the priority of this task from to Needs Triage.Nov 22 2014, 1:41 AM

• bzimport added a project: Gerrit.

• bzimport set Reference to bz46462.

• bzimport added a subscriber: Unknown Object (MLST).

hashar created this task.Mar 22 2013, 8:50 PM

Handling it via Gerrit would be a pain. Sounds like a good idea for a bot on labs (which could also take care of bug 49906).

• demon unsubscribed.Dec 8 2014, 6:25 PM

polybuildr subscribed.Jun 20 2015, 7:59 PM

polybuildr unsubscribed.Jul 1 2015, 9:49 PM

hashar triaged this task as Low priority.Jul 29 2015, 7:55 AM

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptJul 29 2015, 7:55 AM

Paladox subscribed.Jul 12 2016, 4:04 PM

• demon moved this task from Bugs & stuff to WMF customizations on the Gerrit board.Jul 25 2016, 5:26 PM

We do it manually from time to time using the sync-with-gerrit.py script at the root of mediawiki/extensions.git repository. That is good enough.

new extensions should be added to mediawiki/extensions.git automaticallyClosed, DeclinedPublicActions

Description

Details

Event Timeline

new extensions should be added to mediawiki/extensions.git automatically
Closed, DeclinedPublic
Actions