{"push_id":836817078,"size":3,"distinct_size":2,"ref":"refs/heads/master","head":"8dc2ec63b61bbde9baa772219572589054f32385","before":"cc9a111afac3dc40c40739d298efdc0892c87f00","commits":[{"sha":"ca030ec65b238c7d046c9cd2f4a3f264c0fd2cc3","author":{"email":"c955d3712662302e4140271407fd1c4c803ca83c@gmail.com","name":"mmhelloworld"},"message":"Upgrade to 3.23.370; Use local frege until available in central\n\n\nFormer-commit-id: 4444e50b598c7ef2af75f998962fb8bb2e48956b","distinct":false,"url":"https://api.github.com/repos/Frege/frege-repl/commits/ca030ec65b238c7d046c9cd2f4a3f264c0fd2cc3"},{"sha":"15abb714245e55c84ffa21d099c6f24aeb2146cf","author":{"email":"c955d3712662302e4140271407fd1c4c803ca83c@gmail.com","name":"Marimuthu Madasamy"},"message":"Merge pull request #42 from Frege/feature/3.23.370\n\nUpgrade to 3.23.370; Use local frege until available in central\n\nFormer-commit-id: 08502efec0da3c5d43b3606579018a585eae373f","distinct":true,"url":"https://api.github.com/repos/Frege/frege-repl/commits/15abb714245e55c84ffa21d099c6f24aeb2146cf"},{"sha":"8dc2ec63b61bbde9baa772219572589054f32385","author":{"email":"c955d3712662302e4140271407fd1c4c803ca83c@gmail.com","name":"mmhelloworld"},"message":"Remove local frege dependency\n\n\nFormer-commit-id: cc9a111afac3dc40c40739d298efdc0892c87f00","distinct":true,"url":"https://api.github.com/repos/Frege/frege-repl/commits/8dc2ec63b61bbde9baa772219572589054f32385"}]}