Apparently mediawiki/extensions has a script to automatically add any new repositories as submodules of the master repository when run. I want one for mediawiki/skins, too, but I don't know what to yoink/run.
Version: wmf-deployment
Severity: normal
Change 114700 had a related patch set uploaded by Legoktm:
Add sync-with-gerrit.py script, taken from mediawiki/extensions
I added the sync-with-gerrit.py script from mediawiki/extensions to the skins repo. It doesn't run automatically, but should be good enough for now.
Change 114700 merged by Isarra:
Add sync-with-gerrit.py script, taken from mediawiki/extensions