GitHub PushEvent at 2014-01-15 18:59:46
Repository: mediawiki-extensions
Actor: wmfgerrit
Payload: {"shas":[["f5e0bcd34bb06f845d51d6a3606463238b65abeb","61a1c7c885f4fc173424af2875d459c32bdc4fee@gerrit.wikimedia.org","Updated mediawiki/extensions\nProject: mediawiki/extensions/CirrusSearch  3b7fa7cdb26a28b4a88797d3a3e5772e7172d60a\n\nTypofix that was causing all kinds of profiling errors\n\nChange-Id: I04bea0d95635c51b7a5e8ed0dc65fdfbd709152d","jenkins-bot",true]],"size":1,"ref":"refs/heads/master","head":"f5e0bcd34bb06f845d51d6a3606463238b65abeb"}