{"push_id":539384334,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"b465965c38c3407c5a6121a74f0cbf9b0698abab","before":"33b1c0b6230a7d7ffc1bcfffbc9413ecee0c316f","commits":[{"sha":"a1fb9c3ccf500725991aae8b2163a2d6d4c79202","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"conditionally constant functions","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT/commits/a1fb9c3ccf500725991aae8b2163a2d6d4c79202"},{"sha":"e8fadebce8854695dabc0cd03753896f47985251","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"more consistent naming in Constant","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT/commits/e8fadebce8854695dabc0cd03753896f47985251"},{"sha":"83adad40b1254baebc046e2cb29c38b536afe5b7","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"suggestions from Jason in Constant","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT/commits/83adad40b1254baebc046e2cb29c38b536afe5b7"},{"sha":"b465965c38c3407c5a6121a74f0cbf9b0698abab","author":{"email":"7bac9e6673174efdffb444a7f874b7f0b97e9db6@gmail.com","name":"Bas Spitters"},"message":"Merge pull request #656 from mikeshulman/condconst\n\nconditionally constant functions","distinct":true,"url":"https://api.github.com/repos/HoTT/HoTT/commits/b465965c38c3407c5a6121a74f0cbf9b0698abab"}]}