GitHub PushEvent at 2014-04-09 18:25:11
Repository: mediawiki-extensions
Actor: wmfgerrit
Payload: {"shas":[["4e4505fce7c6ee96b86a790e53081b38f8c52248","03ddc3eddf95d5470d5c7fb6d2937abaeca3b79e@gallium.wikimedia.org","Syncronize VisualEditor: 89319a5..ca6a9da\n\nChange-Id: I5407ff0beef3816de449f7e49b053c3ef9336223","Wikimedia Jenkins Bot",true]],"size":1,"ref":"refs/heads/master","head":"4e4505fce7c6ee96b86a790e53081b38f8c52248"}