{"push_id":2545026769,"size":4,"distinct_size":1,"ref":"refs/heads/hlint-cleanups","head":"4a381d1772419b850e8ae02bfe2696dfdbe64f59","before":"8f157eb9e11f4229f35cc80997f591e9f3d2fcfd","commits":[{"sha":"e61af4a72f6a5b7d0409edc1a9bb4186211358cf","author":{"name":"Simon Hudon","email":"d66d7745df4adaca0ad31cd53b472e40ca3328f1@gmail.com"},"message":"apply hlint suggestions","distinct":false,"url":"https://api.github.com/repos/cipher1024/specifica/commits/e61af4a72f6a5b7d0409edc1a9bb4186211358cf"},{"sha":"e38eeb5cf69c133818ffec16eb0f05edf20b35f9","author":{"name":"Simon Hudon","email":"d66d7745df4adaca0ad31cd53b472e40ca3328f1@gmail.com"},"message":"add package, `tlaplus-quicheck`, and example","distinct":false,"url":"https://api.github.com/repos/cipher1024/specifica/commits/e38eeb5cf69c133818ffec16eb0f05edf20b35f9"},{"sha":"6664b42cf7bbe6bc3e77f9fbc76bc20a2c1b9763","author":{"name":"Simon Hudon","email":"d66d7745df4adaca0ad31cd53b472e40ca3328f1@gmail.com"},"message":"Fix weeder issues and add git commit hook","distinct":false,"url":"https://api.github.com/repos/cipher1024/specifica/commits/6664b42cf7bbe6bc3e77f9fbc76bc20a2c1b9763"},{"sha":"4a381d1772419b850e8ae02bfe2696dfdbe64f59","author":{"name":"Simon Hudon","email":"d66d7745df4adaca0ad31cd53b472e40ca3328f1@gmail.com"},"message":"new template haskell code for declaring a record for the state of a\nTLA specification","distinct":true,"url":"https://api.github.com/repos/cipher1024/specifica/commits/4a381d1772419b850e8ae02bfe2696dfdbe64f59"}]}
{"actor":{"display_login":"cipher1024"}}