{"push_id":2413813495,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a2397a80fc3ddf775bba7d58820b026fbc69cfd9","before":"086f8bfbdd0caa763611b2e1bbf15c4a872f0376","commits":[{"sha":"a2397a80fc3ddf775bba7d58820b026fbc69cfd9","author":{"name":"Jan Drewniak","email":"378989d4920af5e5d8a4a91cf541e0ca5036f8fd@gmail.com"},"message":"Replace portals submodule with portals/deploy submodule\n\nThe `portals/deploy` repo contains just the compiled assets and scripts\nfor portals that are needed for deployment. Using this repo instead of\nthe `portals` repo makes it easier to manage, track and revert portal\ndeploys, since every commit in the deployment repo is a build, whereas\nthe portals repo contains commits that do not modify the builds.\n\nNOTES: Replacing a submodule is tricky. To avoid conflicts with the existing\nsubmodule, run the following command:\ngit submodule sync portals && git submodule deinit -f portals && git submodule update --init --remote portals\n\nAlso changing the symlink `docroot/wwwportal/portal` to\n`../../portals` instead of `../../portals/prod` since the portals/deploy\nrepo acts as the `prod` folder of the portals repo.\n\nBug: T180777\nChange-Id: If98a271ad28a853dfe6725e7f8e0a2c5f9e0d5b0","distinct":true,"url":"https://api.github.com/repos/wikimedia/operations-mediawiki-config/commits/a2397a80fc3ddf775bba7d58820b026fbc69cfd9"}]}
{"actor":{"display_login":"wmfgerrit"}}