{"push_id":753249575,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"b0d964a40b6d461eb1b81105d260ce6070bcc758","before":"3e0b1bf1b38b42d057287b44f526670800452448","commits":[{"sha":"56e2e0c0a504fd4a9ba5d115bc812273861ace40","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/data/encodable): show that (finset A) is encodable when A is encodable","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/56e2e0c0a504fd4a9ba5d115bc812273861ace40"},{"sha":"b0d964a40b6d461eb1b81105d260ce6070bcc758","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(library/data/encodable): show that (finset A) is encodable when A is encodable","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/b0d964a40b6d461eb1b81105d260ce6070bcc758"}]}