GitHub PushEvent at 2014-05-05 17:53:24
Repository: mediawiki-extensions
Actor: wmfgerrit
Payload: {"shas":[["8914360aadef00cbe3c9cbf669543b6b9b3450b6","03ddc3eddf95d5470d5c7fb6d2937abaeca3b79e@gallium.wikimedia.org","Syncronize VisualEditor: f5080d6..087d49e\n\nChange-Id: Ifa8b5d3018cedddbc9ec374bc2f97d32531b4c64","Wikimedia Jenkins Bot",true]],"size":1,"ref":"refs/heads/master","head":"8914360aadef00cbe3c9cbf669543b6b9b3450b6"}