payload: {"push_id":4415086618,"size":1,"distinct_size":1,"ref":"refs/heads/wildcat","head":"cc430eaa00b56ca3d193856212b7910f4dac7982","before":"c501b808bd6bc7f237a5b12e60901f1c106da269","commits":[{"sha":"cc430eaa00b56ca3d193856212b7910f4dac7982","author":{"name":"Mike Shulman","email":"cba0fef17285386956737483f829171a211b13d9@gmail.com"},"message":"Implicit arguments for Comp\n\nCo-Authored-By: Jason Gross <jasongross9@gmail.com>","distinct":true,"url":"https://api.github.com/repos/mikeshulman/HoTT/commits/cc430eaa00b56ca3d193856212b7910f4dac7982"}]}
other: {"actor":{"display_login":"mikeshulman"}}