{"push_id":1134008750,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"90e4d29261a32dd84e7710e1ed20f8773e78587f","before":"ffde06264154925a8cd2c9ab0941a3a56521724b","commits":[{"sha":"90e4d29261a32dd84e7710e1ed20f8773e78587f","author":{"name":"Martin Jonas","email":"e08dda3123ca85fab8cefef7e309ae2783719bc4@mail.muni.cz"},"message":"Canonize variable names only when propagating unconstrained","distinct":true,"url":"https://api.github.com/repos/martinjonas/Q3B/commits/90e4d29261a32dd84e7710e1ed20f8773e78587f"}]}
{"actor":{"display_login":"martinjonas"}}