Thanks! This is a nice cleanup.
https://www.mediawiki.org/wiki/Category:Extensions_with_unknown_license
has 1379 pages now, is your bot going to continue working there?
As for the code itself, I count 710 extensions with
$wgExtensionCredits, of which 127 use license-name. ~600 estensions to
fix means that most don't have a component in the issue tracker, let
alone jenkins-bot running; so we have no general way to communicate with
their authors. Also, SPDX license-name patches don't require specialised
reviewers.
So, you can file a report in MediaWiki>General/Unknown, but don't
expect magical elves to pop up. The best way to "report" the missing
license-name is still to send a patch in gerrit. For this task, I don't
see us creating a self-merging account à la l10n-bot; but please file a
bug if you need extra tools.
Nemo
_______________________________________________
Wikitech-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikitech-l