{"push_id":2158634723,"size":1,"distinct_size":1,"ref":"refs/heads/ocaml-macro-extraction","head":"a1ff55fd9360da199b1524354c96ccd166c9adc9","before":"59242dbcd45ff015f6d2f57de55469bc6e675723","commits":[{"sha":"a1ff55fd9360da199b1524354c96ccd166c9adc9","author":{"name":"Paul Steckler","email":"3e28969a28708413e246320f9a89f07a222cf45c@stecksoft.com"},"message":"appease linter","distinct":true,"url":"https://api.github.com/repos/psteckler/coq/commits/a1ff55fd9360da199b1524354c96ccd166c9adc9"}]}
{"actor":{"display_login":"psteckler"}}