{"push_id":1594273847,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"d414807d5e4debe95a5e1575a7754be26caa8f06","before":"70bf95d2d1a4d6ed330c50d1760242b9dadd1efb","commits":[{"sha":"09dddc0c65343eb7c575edd516e0e741a207d3b6","author":{"name":"nguyenxuanluan","email":"dcec86b7e3c6535349fa5d3ee3d5ab6668611f8b@fpt.edu.vn"},"message":"update tools","distinct":true,"url":"https://api.github.com/repos/duyanh2912/E.Z-Lean/commits/09dddc0c65343eb7c575edd516e0e741a207d3b6"},{"sha":"d414807d5e4debe95a5e1575a7754be26caa8f06","author":{"name":"nguyenxuanluan","email":"dcec86b7e3c6535349fa5d3ee3d5ab6668611f8b@fpt.edu.vn"},"message":"Merge branch 'master' of https://github.com/duyanh2912/E.Z-Lean\n\n# Conflicts:\n#\tE.Z Lean.xcodeproj/project.pbxproj","distinct":true,"url":"https://api.github.com/repos/duyanh2912/E.Z-Lean/commits/d414807d5e4debe95a5e1575a7754be26caa8f06"}]}
{"actor":{"display_login":"nguyenxuanluan"}}