Last modified: 2014-02-21 06:52:19 UTC
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.
Change 114700 had a related patch set uploaded by Legoktm: Add sync-with-gerrit.py script, taken from mediawiki/extensions https://gerrit.wikimedia.org/r/114700
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 https://gerrit.wikimedia.org/r/114700
Thank you.