{"push_id":2006583740,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e3a1a80f7fb9a628484f5eeaad6e51ed669ad45e","before":"5d24d1d70ae35991f17389065c7460d8420f5b5e","commits":[{"sha":"e3a1a80f7fb9a628484f5eeaad6e51ed669ad45e","author":{"name":"Ali Kheradmand","email":"2f8fc947d8a269e45fda9e068d3caf094020cb7a@gmail.com"},"message":"add full support for implicit parser exceptions","distinct":true,"url":"https://api.github.com/repos/kframework/p4-semantics/commits/e3a1a80f7fb9a628484f5eeaad6e51ed669ad45e"}]}
{"actor":{"display_login":"kheradmand"}}