https://bugzilla.wikimedia.org/show_bug.cgi?id=46462
Web browser: ---
Bug ID: 46462
Summary: new extensions should be added to
mediawiki/extensions.git automatically
Product: Wikimedia
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: Git/Gerrit
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected],
[email protected]
Classification: Unclassified
Mobile Platform: ---
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
--
You are receiving this mail because:
You are on the CC list for the bug.
You are the assignee for the bug.
You are watching all bug changes.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
