@QChrisNonWMF thanks for getting in touch about the proposed releng/mw repo. We don't have a more specific name for it, and while the current scope is wrapping around MediaWiki core's docker-compose stack, the project is deliberately open-ended so that it could also interact with e.g. the kubernetes based development environment in the future. So if it's OK to leave it as something vague for now and rename it later, that would be nice. cc @MModell (WMF) and @Jdforrester (WMF) in case they have any input on it.
Topic on Talk:Gerrit/New repositories/Requests
I'd recommend calling it mediawiki/tools/cli or something similar.
that's fine with me.
mediawiki/tools/cli ist still rather generic, but meh. Let's run with that.
It's intended to be the CLI tool for all of MediaWiki. I think it's appropriate. :-)