GitHub PushEvent at 2014-05-20 01:22:56
Repository: mediawiki-extensions
Actor: wmfgerrit
Payload: {"shas":[["9ec1f27836dd75af0213aedaa93b2cc92a56b72f","03ddc3eddf95d5470d5c7fb6d2937abaeca3b79e@gallium.wikimedia.org","Syncronize VisualEditor: 8c95826..5798569\n\nChange-Id: Ia810f8c1391716b5c949f1ca113d1f137141ce0e","Wikimedia Jenkins Bot",true]],"size":1,"ref":"refs/heads/master","head":"9ec1f27836dd75af0213aedaa93b2cc92a56b72f"}