{"push_id":2640360722,"size":1,"distinct_size":1,"ref":"refs/heads/tactic","head":"426aa024dfbb8841c9e92ec8bb61987656636359","before":"9bd9e8f81b7b1710ad16fab978a0c85033574f01","commits":[{"sha":"426aa024dfbb8841c9e92ec8bb61987656636359","author":{"name":"Shlw","email":"1a22a44c44d3e0f0d33c576d8b309928e1ac7b2a@hotmail.com"},"message":"update destructspec","distinct":true,"url":"https://api.github.com/repos/lsrcz/mini-prover/commits/426aa024dfbb8841c9e92ec8bb61987656636359"}]}
{"actor":{"display_login":"Shlw"}}