{"push_id":1249202280,"size":1,"distinct_size":1,"ref":"refs/heads/tmp","head":"37103dd1fedb5969cb8c6e6255589d9c09e63816","before":"d532f542f72c9101d828a9cf77a913f428d8aa20","commits":[{"sha":"37103dd1fedb5969cb8c6e6255589d9c09e63816","author":{"name":"Matej Kosik","email":"a1cf9d69e018d6297637b95d4ef747c13bdde5bd@inria.fr"},"message":"removing a call of the \"Context.Named.get_value\" function","distinct":true,"url":"https://api.github.com/repos/matej-kosik/coq/commits/37103dd1fedb5969cb8c6e6255589d9c09e63816"}]}
{"actor":{"display_login":"matej-kosik"}}