{"push_id":1386388749,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"286a3a9d22265a889dad3b7c635fd438573bc543","before":"2469734f7e0b631244840b705ef27dee896c0a35","commits":[{"sha":"286a3a9d22265a889dad3b7c635fd438573bc543","author":{"name":"David B. Lamkins","email":"c4fad810f340686211c888bdacfc1a3b61d0b709@galois.com"},"message":"Finish tweaking make-install-disk.","distinct":true,"url":"https://api.github.com/repos/TieDyedDevil/Fi3/commits/286a3a9d22265a889dad3b7c635fd438573bc543"}]}
{"actor":{"display_login":"TieDyedDevil"}}