We switched from CVS to Subversion over three years ago, and will probably start integrating some wacky other things like git in the future. High time to rename the commit notification mailing list to MediaWiki-commits?
Version: unspecified
Severity: enhancement