Thanks for your reply.
> Mmm are they planning to be moved to gerrit? Adding (hundreds of) repos
> is just as tedious as updating them again whenever they move.
They're still being sorted out, but most of them are quite dead and
won't be moved I guess. A better thread to ask might be
http://lists.wikimedia.org/pipermail/wikitech-l/2012-October/064024.html
> Again, everything is editable - the URLs as well.
How about just mediawiki-extensions-wmf-hosted , using the same term as
in the description? And if it seems too broad the other one could be
renamed to -used.
> The repo stats themselves are not duplicated.
Can you elaborate? If there is another project for an extension already
in the umbrella project, maybe using another repository (SVN or GitHub
or whatever), or with differences in commit names, how are stats
deduplicated?
> we have no permissions to delete projects as duplicate
This is a pity for what above, MediaWiki (and related) committers have
their stats very scattered among many unclaimed IDs, as you can verify
with more or less any name.
Maybe some projects could be claimed by Wikimedia org to start with?
(Then the org becomes a sort of maintainer and can delete too?) A query
like <https://www.ohloh.net/people?q=Raimond%20Spekking&sort=users>
seems to find several that are not under Wikimedia.
Nemo
_______________________________________________
Wikitech-l mailing list
Wikitech-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l
