{"push_id":815691262,"size":1,"distinct_size":1,"ref":"refs/heads/maxippartitioning","head":"f0b5d545bcd311c55b9a24feb7e0b8cfb81f4084","before":"b201309b8dc3b43ebd0ea22f1f18f56426ee2b02","commits":[{"sha":"f0b5d545bcd311c55b9a24feb7e0b8cfb81f4084","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"fixed","distinct":true,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/f0b5d545bcd311c55b9a24feb7e0b8cfb81f4084"}]}