{"push_id":2654003810,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c68125e35b23251e85359af3582654391ccf44ab","before":"f12c438a4ee786bff7175ba96fcde96bdf7cdefb","commits":[{"sha":"c68125e35b23251e85359af3582654391ccf44ab","author":{"name":"Kevin Quick","email":"80e3719b9e997c709b660046429f12db07a61ea9@galois.com"},"message":"Haddock documentation updates.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-core/commits/c68125e35b23251e85359af3582654391ccf44ab"}]}
{"actor":{"display_login":"kquick"}}