GitHub PushEvent at 2014-08-04 14:30:34
Repository: mediawiki-tools-release
Actor: wmfgerrit
Payload: {"shas":[["7129af285fef408d72cb6711ae56ebcb2cd69161","a348a171a7681d9dadbef95e60574c8370431eb3@wikimedia.org","Switch from mw/core/vendor to mw/vendor\n\nBranch and use mediawiki/vendor instead of mediawiki/core/vendor. It was\nrequested to rename this repository during RFC discussion.\n\nBug: 68485\nChange-Id: Ic336805634e767e377e33fc2b5fd91097b0fdf22","Bryan Davis",true]],"size":1,"ref":"refs/heads/master","head":"7129af285fef408d72cb6711ae56ebcb2cd69161"}