{"push_id":1245476983,"size":3,"distinct_size":3,"ref":"refs/heads/v4.0-with-coq8.5pl2","head":"785efa7d0485cef698aa48cc2b68b0ecc72da009","before":"6d8c557fae680c9168fce78755ac6313b2e09c13","commits":[{"sha":"5fcc294e47b48c899824e8751e07aa02266c8ac1","author":{"name":"ailrun","email":"6e1f04333d9880e64a0f50107c60c961807c9af7@gmail.com"},"message":"remove .aux files","distinct":true,"url":"https://api.github.com/repos/Ailrun/software_foundations_solution/commits/5fcc294e47b48c899824e8751e07aa02266c8ac1"},{"sha":"35b7b3ee3ae8debed736dd1f3e9592d91b359a38","author":{"name":"ailrun","email":"6e1f04333d9880e64a0f50107c60c961807c9af7@gmail.com"},"message":"Edit .gitignore to support tags","distinct":true,"url":"https://api.github.com/repos/Ailrun/software_foundations_solution/commits/35b7b3ee3ae8debed736dd1f3e9592d91b359a38"},{"sha":"785efa7d0485cef698aa48cc2b68b0ecc72da009","author":{"name":"ailrun","email":"6e1f04333d9880e64a0f50107c60c961807c9af7@gmail.com"},"message":"Fix Basics.v typo","distinct":true,"url":"https://api.github.com/repos/Ailrun/software_foundations_solution/commits/785efa7d0485cef698aa48cc2b68b0ecc72da009"}]}
{"actor":{"display_login":"Ailrun"}}