{"push_id":2173988403,"size":3,"distinct_size":3,"ref":"refs/heads/develop","head":"603cd83922df5669a6688d148664d9393730594a","before":"51d756caf270040629352ead2d7fee4cafef53e0","commits":[{"sha":"e82640215cfd959f9c411e4c7d2f8172fe1ecfaa","author":{"name":"Tomas","email":"8e3716a883b0d061a22d96e25b2183d1fd1b76c8@gmail.com"},"message":"Finally decided status code will be just a number\n\nLater it can be pretty printed accordingly","distinct":true,"url":"https://api.github.com/repos/TDiazT/Comparator-RCoq/commits/e82640215cfd959f9c411e4c7d2f8172fe1ecfaa"},{"sha":"8b8632b6063fe508f0c1301160145756a5a3ddec","author":{"name":"Tomas","email":"8e3716a883b0d061a22d96e25b2183d1fd1b76c8@gmail.com"},"message":"Add case for primitive output in R","distinct":true,"url":"https://api.github.com/repos/TDiazT/Comparator-RCoq/commits/8b8632b6063fe508f0c1301160145756a5a3ddec"},{"sha":"603cd83922df5669a6688d148664d9393730594a","author":{"name":"Tomas","email":"8e3716a883b0d061a22d96e25b2183d1fd1b76c8@gmail.com"},"message":"Merge remote-tracking branch 'origin/develop' into develop","distinct":true,"url":"https://api.github.com/repos/TDiazT/Comparator-RCoq/commits/603cd83922df5669a6688d148664d9393730594a"}]}
{"actor":{"display_login":"TDiazT"}}