{"push_id":678816463,"size":3,"distinct_size":2,"ref":"refs/heads/feature/snapshots","head":"5a48ba7bde6d5c9e6f674f082099ba8c1bbac913","before":"b8e6bd0a7b653f49497a375e6b3057d5d5f93089","commits":[{"sha":"c880cd1a72a2c5b56c325e613b0b8b0fb975cd7b","author":{"email":"c195b508e6f0c57aeafdb5e96947e2b79e6a4b40@deler.org","name":"Erik Rozendaal"},"message":"Update sequent dependency","distinct":false,"url":"https://api.github.com/repos/zilverline/sequent-examples/commits/c880cd1a72a2c5b56c325e613b0b8b0fb975cd7b"},{"sha":"051ed3875af9fe4ff2c9dd0475ae88525f768fa8","author":{"email":"c195b508e6f0c57aeafdb5e96947e2b79e6a4b40@deler.org","name":"Erik Rozendaal"},"message":"Merge branch 'master' into feature/snapshots","distinct":true,"url":"https://api.github.com/repos/zilverline/sequent-examples/commits/051ed3875af9fe4ff2c9dd0475ae88525f768fa8"},{"sha":"5a48ba7bde6d5c9e6f674f082099ba8c1bbac913","author":{"email":"c195b508e6f0c57aeafdb5e96947e2b79e6a4b40@deler.org","name":"Erik Rozendaal"},"message":"Back to sequent master with snapshotting","distinct":true,"url":"https://api.github.com/repos/zilverline/sequent-examples/commits/5a48ba7bde6d5c9e6f674f082099ba8c1bbac913"}]}