{"push_id":537603723,"size":4,"distinct_size":4,"ref":"refs/heads/wip_integration","head":"1a23da3d21258eb9eb2db92f3b758c22784aa392","before":"a35612a2c21d1437d9397dbd59097445d7ce4ef0","commits":[{"sha":"1f8ce76b1daa0e5e629d890bdccfff2883406e22","author":{"email":"1bfddd2b7d3192ef8dcf607e64391fefe073b5e3@gmail.com","name":"Eyal Lotem"},"message":"Extract markRedundantTypes to ExprGuiM","distinct":true,"url":"https://api.github.com/repos/Peaker/lamdu/commits/1f8ce76b1daa0e5e629d890bdccfff2883406e22"},{"sha":"0e825720fe22cb0db15334d25d6eebb92d1863d1","author":{"email":"1bfddd2b7d3192ef8dcf607e64391fefe073b5e3@gmail.com","name":"Eyal Lotem"},"message":"Oops: Hole results had show type enabled in verbose mode","distinct":true,"url":"https://api.github.com/repos/Peaker/lamdu/commits/0e825720fe22cb0db15334d25d6eebb92d1863d1"},{"sha":"67b4b2ddbee27af326e02b957524d0e66b35c854","author":{"email":"1bfddd2b7d3192ef8dcf607e64391fefe073b5e3@gmail.com","name":"Eyal Lotem"},"message":"Smaller text: Less scaling going on","distinct":true,"url":"https://api.github.com/repos/Peaker/lamdu/commits/67b4b2ddbee27af326e02b957524d0e66b35c854"},{"sha":"1a23da3d21258eb9eb2db92f3b758c22784aa392","author":{"email":"1bfddd2b7d3192ef8dcf607e64391fefe073b5e3@gmail.com","name":"Eyal Lotem"},"message":"Remove where scale factors","distinct":true,"url":"https://api.github.com/repos/Peaker/lamdu/commits/1a23da3d21258eb9eb2db92f3b758c22784aa392"}]}