{"push_id":898033170,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"fd484d89083fe186646377c2932bc05aef665b9d","before":"610fe52f31675224dc6f2a26794a3a4f22fbf077","commits":[{"sha":"16ec2620990256720074cc57d0795149a896db2b","author":{"email":"39dc8ea743aac2b11c727a7a857284b1c05c24db@gmail.com","name":"Yuki Ishii"},"message":"support agda2-forget-all-goals","distinct":true,"url":"https://api.github.com/repos/yuzumikan15/ocaml-alab-mode/commits/16ec2620990256720074cc57d0795149a896db2b"},{"sha":"2d3c906c9b375b38d6012d67515e0f12e51f7a51","author":{"email":"39dc8ea743aac2b11c727a7a857284b1c05c24db@gmail.com","name":"Yuki Ishii"},"message":"add *.cmt to .gitignore","distinct":true,"url":"https://api.github.com/repos/yuzumikan15/ocaml-alab-mode/commits/2d3c906c9b375b38d6012d67515e0f12e51f7a51"},{"sha":"0e4ed634ba064af78a4901d02da514146f79501a","author":{"email":"39dc8ea743aac2b11c727a7a857284b1c05c24db@gmail.com","name":"Yuki Ishii"},"message":"refactor hole.el","distinct":true,"url":"https://api.github.com/repos/yuzumikan15/ocaml-alab-mode/commits/0e4ed634ba064af78a4901d02da514146f79501a"},{"sha":"781b837ec99b15fe66fb8c3f1f7b39c34b888d4e","author":{"email":"39dc8ea743aac2b11c727a7a857284b1c05c24db@gmail.com","name":"Yuki Ishii"},"message":"bug fix: hole.el","distinct":true,"url":"https://api.github.com/repos/yuzumikan15/ocaml-alab-mode/commits/781b837ec99b15fe66fb8c3f1f7b39c34b888d4e"},{"sha":"89632f37803bcb55b3a10d20fb1a20becd1a3bc9","author":{"email":"39dc8ea743aac2b11c727a7a857284b1c05c24db@gmail.com","name":"Yuki Ishii"},"message":"bug fix in expander.ml: not to output hole numbers","distinct":true,"url":"https://api.github.com/repos/yuzumikan15/ocaml-alab-mode/commits/89632f37803bcb55b3a10d20fb1a20becd1a3bc9"},{"sha":"2c25204ada71942e1a36e93739ba1083c56aec53","author":{"email":"39dc8ea743aac2b11c727a7a857284b1c05c24db@gmail.com","name":"Yuki Ishii"},"message":"support refine-record","distinct":true,"url":"https://api.github.com/repos/yuzumikan15/ocaml-alab-mode/commits/2c25204ada71942e1a36e93739ba1083c56aec53"},{"sha":"fd484d89083fe186646377c2932bc05aef665b9d","author":{"email":"39dc8ea743aac2b11c727a7a857284b1c05c24db@gmail.com","name":"Yuki Ishii"},"message":"support refining record","distinct":true,"url":"https://api.github.com/repos/yuzumikan15/ocaml-alab-mode/commits/fd484d89083fe186646377c2932bc05aef665b9d"}]}