{"push_id":3137358573,"size":4,"distinct_size":1,"ref":"refs/heads/master","head":"c9a8ae24db4b23da38edc780b08bfb3dd1383d16","before":"152876a58f8e2a37d7743f80e808712825f5b48a","commits":[{"sha":"21aa4a8d270ba27097962ddd775ecc44890f4fe2","author":{"name":"Kris Jenkins","email":"30ce90ed7baf2cb34cc9c3d7b0f0c2939de51a22@gmail.com"},"message":"Playground: Removing an obsolete effect row.","distinct":false,"url":"https://api.github.com/repos/input-output-hk/plutus/commits/21aa4a8d270ba27097962ddd775ecc44890f4fe2"},{"sha":"17df92fec3b80f311012eceaf02c9e0f61a2c889","author":{"name":"Kris Jenkins","email":"30ce90ed7baf2cb34cc9c3d7b0f0c2939de51a22@gmail.com"},"message":"Playground: Tweaks to the playground build product size.\n\nIt now gzips to about 1.4M, which is getting more reasonable.","distinct":false,"url":"https://api.github.com/repos/input-output-hk/plutus/commits/17df92fec3b80f311012eceaf02c9e0f61a2c889"},{"sha":"6b456ac220baea931028be5e7b4d4729d2f17482","author":{"name":"Kris Jenkins","email":"30ce90ed7baf2cb34cc9c3d7b0f0c2939de51a22@gmail.com"},"message":"Whitespace changes.","distinct":false,"url":"https://api.github.com/repos/input-output-hk/plutus/commits/6b456ac220baea931028be5e7b4d4729d2f17482"},{"sha":"c9a8ae24db4b23da38edc780b08bfb3dd1383d16","author":{"name":"Michael Peyton Jones","email":"b1c1d8736f20db3fb6c1c66bb1455ed43909f0d8@michaelpj.com"},"message":"Merge pull request #415 from input-output-hk/playground-size\n\nPerformance tweaks.","distinct":true,"url":"https://api.github.com/repos/input-output-hk/plutus/commits/c9a8ae24db4b23da38edc780b08bfb3dd1383d16"}]}
{"actor":{"display_login":"michaelpj"}}