{"push_id":1843945498,"size":2,"distinct_size":2,"ref":"refs/heads/countable_alt","head":"209b28a4dc83cb45beb85a2472dceb85ebd25719","before":"d724b724c10f0cb742ff3790fb6c94b70f2805a0","commits":[{"sha":"29629bcfe5972582d1dab5e384eaa59b04c89036","author":{"name":"Chun Tian (binghe)","email":"a329049017c5bd59ebfc2a93cfcf10714aace3e9@gmail.com"},"message":"Renamed countable_alt to upper cases","distinct":true,"url":"https://api.github.com/repos/binghe/HOL/commits/29629bcfe5972582d1dab5e384eaa59b04c89036"},{"sha":"209b28a4dc83cb45beb85a2472dceb85ebd25719","author":{"name":"Chun Tian (binghe)","email":"a329049017c5bd59ebfc2a93cfcf10714aace3e9@gmail.com"},"message":"Moved FINITE_BIJ and BIJ_ALT to pred_setTheory","distinct":true,"url":"https://api.github.com/repos/binghe/HOL/commits/209b28a4dc83cb45beb85a2472dceb85ebd25719"}]}
{"actor":{"display_login":"binghe"}}