{"push_id":1140678438,"size":2,"distinct_size":2,"ref":"refs/heads/devel","head":"dcb5dfd0ca1a840b6d3d946dadee8dc12ae35519","before":"33a3b939f02f38b7027cab47c361a6ab5fc931d0","commits":[{"sha":"64ddad7c8dfe7fa7af444cdbeada1c229476d9d0","author":{"name":"Christian Bruns","email":"4ebec151cc5cc3799b5b1de7a76b4082cfd9be9d@stud.uni-goettingen.de"},"message":"generate Prisma module and deliver it together with the fuzzer. Horizon length automatically adapted.","distinct":true,"url":"https://api.github.com/repos/dasbruns/p2p/commits/64ddad7c8dfe7fa7af444cdbeada1c229476d9d0"},{"sha":"dcb5dfd0ca1a840b6d3d946dadee8dc12ae35519","author":{"name":"Christian Bruns","email":"4ebec151cc5cc3799b5b1de7a76b4082cfd9be9d@stud.uni-goettingen.de"},"message":"Merge branch 'devel' of https://github.com/dasbruns/p2p into devel","distinct":true,"url":"https://api.github.com/repos/dasbruns/p2p/commits/dcb5dfd0ca1a840b6d3d946dadee8dc12ae35519"}]}
{"actor":{"display_login":"dasbruns"}}