{"push_id":2934716736,"size":2,"distinct_size":2,"ref":"refs/heads/tutorials","head":"4752d91c7e0781e275e6a14edafcbf1a73b8c8ae","before":"bf36dd1e66d373c53666ca4579649f767955ed42","commits":[{"sha":"586c837948a025060cbc645990ef0c786dad9394","author":{"name":"Bryan Gin-ge Chen","email":"6e05157ce10643a7cfc5a3d4e29e4fa5cffe1fc6@gmail.com"},"message":"feat(tutorial/partitions): initial work on Q5: partitions","distinct":true,"url":"https://api.github.com/repos/leanprover-community/mathlib/commits/586c837948a025060cbc645990ef0c786dad9394"},{"sha":"4752d91c7e0781e275e6a14edafcbf1a73b8c8ae","author":{"name":"Bryan Gin-ge Chen","email":"6e05157ce10643a7cfc5a3d4e29e4fa5cffe1fc6@gmail.com"},"message":"Merge pull request #6 from bryangingechen/tutorials\n\nfeat(tutorial/partitions): initial work on Q5: partitions","distinct":true,"url":"https://api.github.com/repos/leanprover-community/mathlib/commits/4752d91c7e0781e275e6a14edafcbf1a73b8c8ae"}]}
{"actor":{"display_login":"bryangingechen"}}