{"push_id":752568089,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"64239a9d8103c42a19fc0fbb48cc67fd7f08a2e9","before":"624a2c247101cb3665650e6830964f59b8144225","commits":[{"sha":"64239a9d8103c42a19fc0fbb48cc67fd7f08a2e9","author":{"email":"0658929a32fcad205df089c884250dd482df435b@debian.org","name":"Michael Tautschnig"},"message":"goto-cc may be built with libzip support","distinct":true,"url":"https://api.github.com/repos/tautschnig/cprover-debian/commits/64239a9d8103c42a19fc0fbb48cc67fd7f08a2e9"}]}