- +2 a change in MW core
- +2 a change in mw-config
- config change finishes gate-and-submit run in seconds
- config change isn't merged because MW core change is still pending
- 10 minutes later, both the MW core change and the config change merge
Config changes shouldn't block on MW core changes, or extension changes, or anything else (except other config changes). None of the gate-and-submit jobs for mediawiki-config depend on other repos.