{"push_id":915081227,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"5d46cdecaa5d7b1e4fab3783ab423febef3698c8","before":"662fa27cab025464411a7442ec3877aa51965c93","commits":[{"sha":"ee3e2a296386923e23cf3fabc28f0e8b927ac2ca","author":{"email":"1fb3381f4a67bfc2b7766213d411e29c8fca277c@ignition.hk","name":"Francis Chong"},"message":"refactor: merge reducers, update tests","distinct":true,"url":"https://api.github.com/repos/siuying/parchment/commits/ee3e2a296386923e23cf3fabc28f0e8b927ac2ca"},{"sha":"5d46cdecaa5d7b1e4fab3783ab423febef3698c8","author":{"email":"1fb3381f4a67bfc2b7766213d411e29c8fca277c@ignition.hk","name":"Francis Chong"},"message":"add invariant to guard important assumption","distinct":true,"url":"https://api.github.com/repos/siuying/parchment/commits/5d46cdecaa5d7b1e4fab3783ab423febef3698c8"}]}