{"push_id":778503308,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8ccc18eb3cee1f168aa5a96b4680bd00fc56168d","before":"9623184897119ce0a94b6abb6a1ef4ab7e4f4234","commits":[{"sha":"8ccc18eb3cee1f168aa5a96b4680bd00fc56168d","author":{"email":"65e9b664bab643fd00ab2dbdd0a0122cf1216bb0@gmail.com","name":"Samuel Balco"},"message":"initial commit of the calculus","distinct":true,"url":"https://api.github.com/repos/goodlyrottenapple/Sequent-calculus-tool/commits/8ccc18eb3cee1f168aa5a96b4680bd00fc56168d"}]}