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:
1. Lots of tools use these dumps for getting more eyeballs on them would be good.
2. Dumps issues are typically handled by a single opsen expert.
3. Wikidata has some continuing needs to hack on dumps (link in comments please!)
4. 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>