{"push_id":1459923886,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"0151ce8f55b941cb8df1ad6f1ea17d04ca8a707f","before":"b7e861553f8e7656561871815582085d92b178f0","commits":[{"sha":"105e2c6d6d470b61bd42257b4d6077719ee82597","author":{"name":"Alban Linard","email":"ff9246c2a158738ebee153723a18902ac72580a6@linard.fr"},"message":"Fix type checking of several Theorem functions.","distinct":true,"url":"https://api.github.com/repos/cui-unige/proofs-Dexter9313/commits/105e2c6d6d470b61bd42257b4d6077719ee82597"},{"sha":"44ab6b0c7aa3946c9a17733002e3636f28ee4540","author":{"name":"Alban Linard","email":"ff9246c2a158738ebee153723a18902ac72580a6@linard.fr"},"message":"Fix problem with variables.","distinct":true,"url":"https://api.github.com/repos/cui-unige/proofs-Dexter9313/commits/44ab6b0c7aa3946c9a17733002e3636f28ee4540"},{"sha":"0151ce8f55b941cb8df1ad6f1ea17d04ca8a707f","author":{"name":"Alban Linard","email":"ff9246c2a158738ebee153723a18902ac72580a6@linard.fr"},"message":"Merge.","distinct":true,"url":"https://api.github.com/repos/cui-unige/proofs-Dexter9313/commits/0151ce8f55b941cb8df1ad6f1ea17d04ca8a707f"}]}
{"actor":{"display_login":"saucisson"}}