{"push_id":625246306,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"9306830d8ca1113973f303b9c48af9151990420a","before":"5d95cb0979033706c80a60d9dd757b85bcee8703","commits":[{"sha":"1d87016f033dfcce422325eee51a2e514726da2b","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"refactor(library): move some theorems to init","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/1d87016f033dfcce422325eee51a2e514726da2b"},{"sha":"9306830d8ca1113973f303b9c48af9151990420a","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/data/list): perm is decidable","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/9306830d8ca1113973f303b9c48af9151990420a"}]}