{"push_id":1132371702,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"94d6ecbe3e7d0c296934b25daffb66f8b649044d","before":"533befbb7242b1368216d6e64f49de0821f13abf","commits":[{"sha":"6d86f6401a33deb4ad5c12beea7e1ebec7785421","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"Fixing compilation wrt. Coq trunk","distinct":true,"url":"https://api.github.com/repos/matej-kosik/corn/commits/6d86f6401a33deb4ad5c12beea7e1ebec7785421"},{"sha":"94d6ecbe3e7d0c296934b25daffb66f8b649044d","author":{"name":"Matej Kosik","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"Merge branch 'master' into trunk","distinct":true,"url":"https://api.github.com/repos/matej-kosik/corn/commits/94d6ecbe3e7d0c296934b25daffb66f8b649044d"}]}
{"actor":{"display_login":"matej-kosik"}}