{"push_id":2218579756,"size":1,"distinct_size":1,"ref":"refs/heads/SMSC","head":"9ff95ae236f13dac9f56771f92806cddfd051baf","before":"05fbe86608b032c32e9de15b01565e9d272471bc","commits":[{"sha":"9ff95ae236f13dac9f56771f92806cddfd051baf","author":{"name":"Jakub Kuderski","email":"cb05e6892ed8c0a5cb48c18341ccf3e1ea4fe88d@gmail.com"},"message":"[hotfix] Fix a typo in list global test","distinct":true,"url":"https://api.github.com/repos/kuhar/seahorn/commits/9ff95ae236f13dac9f56771f92806cddfd051baf"}]}
{"actor":{"display_login":"kuhar"}}