{"push_id":1307994301,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"79c37938d656250ac15799803f1d59bf9719485e","before":"74d6cd7645cbf89e48a7f1e14ae8ea41f7c88461","commits":[{"sha":"79c37938d656250ac15799803f1d59bf9719485e","author":{"name":"Adam C. Foltzer","email":"5ed4bc47059c3722ae38426a21392c5ecf7a6c52@galois.com"},"message":"update GHC 8 target to lts-7.0","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/79c37938d656250ac15799803f1d59bf9719485e"}]}
{"actor":{"display_login":"acfoltzer"}}