https://dumps.wikimedia.org/ is powered by https://gerrit.wikimedia.org/r/#/admin/projects/operations/dumps . I believe that there are several good arguments for core/platform/whatever team to take a look at it:
- Lots of tools use these dumps for getting more eyeballs on them would be good.
- Dumps issues are typically handled by a single opsen expert.
- Wikidata has some continuing needs to hack on dumps (link in comments please!)
- Having a WMF-specific dump infrastructure is a bit counter to our values. Setting operations/dumps up outside of WMF would be very difficult.
I don't think any of these arguments are "omg, stop the presses!" urgent but they seem worth thinking about.
Wiki page for additional discussion: https://www.mediawiki.org/wiki/Wikimedia_MediaWiki_Core_Team/Backlog/Improve_dumps
Please also see wiki dev summit proposal for Jan 2016: T114019: Dumps 2.0 for realz (planning/architecture session) whereby the current dumps maintainer has taken the leap and suggested we should redo the entire thing from scratch.