{"push_id":1038847204,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b8ea6dcf48f11a95f45f869b452d23d25a134653","before":"7d19be4f8b210346fffe34634b8e82076ed4bc30","commits":[{"sha":"b8ea6dcf48f11a95f45f869b452d23d25a134653","author":{"email":"8b8d81b7df278e4acbdfa891ebde792f7463036f@gmail.com","name":"Francesco Marconi"},"message":"refactor deliverable examples and simplify launch","distinct":true,"url":"https://api.github.com/repos/dice-project/DICE-Verification/commits/b8ea6dcf48f11a95f45f869b452d23d25a134653"}]}