Last modified: 2014-08-05 09:47:46 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T48462, the corresponding Phabricator task for complete and up-to-date bug report information.
First Last Prev Next    This bug is not in your last search results.
Bug 46462 - new extensions should be added to mediawiki/extensions.git automatically
new extensions should be added to mediawiki/extensions.git automatically
Status: NEW
Product: Wikimedia
Classification: Unclassified
Git/Gerrit (Other open bugs)
unspecified
All All
: Unprioritized enhancement (vote)
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency tree / graph
 
Reported: 2013-03-22 20:50 UTC by Antoine "hashar" Musso (WMF)
Modified: 2014-08-05 09:47 UTC (History)
5 users (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Description Antoine "hashar" Musso (WMF) 2013-03-22 20:50:31 UTC 
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
Comment 1 Chad H. 2013-07-22 17:54:36 UTC 
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).
Note You need to log in before you can comment on or make changes to this bug.
First Last Prev Next    This bug is not in your last search results.

Navigation
Links