{"push_id":645374872,"size":6,"distinct_size":6,"ref":"refs/heads/isabelle2015-rc0","head":"34a110bfebf2840a0cbfdf2ccf56e518cfec7ede","before":"735d127aef811dc715b482bb17797018b3c7a1ec","commits":[{"sha":"38f5b13bfe4cc6c19778adec5901eaa4e279f222","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"cleanup","distinct":true,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/38f5b13bfe4cc6c19778adec5901eaa4e279f222"},{"sha":"5aec17530a1f0d3d9c9b7df8bb533b8a438649ee","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"...","distinct":true,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/5aec17530a1f0d3d9c9b7df8bb533b8a438649ee"},{"sha":"4eb9b30711f51b9e2149fdbffae0c1cb742f94d6","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"no spoofing definition","distinct":true,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/4eb9b30711f51b9e2149fdbffae0c1cb742f94d6"},{"sha":"cfa1d9f5fadc1b1a8a3a52283d29618b665bfa08","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"refactored","distinct":true,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/cfa1d9f5fadc1b1a8a3a52283d29618b665bfa08"},{"sha":"ead322c31f41773d65a93d1066b9e5530fce7697","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"refactored","distinct":true,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/ead322c31f41773d65a93d1066b9e5530fce7697"},{"sha":"34a110bfebf2840a0cbfdf2ccf56e518cfec7ede","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"documenting stuff","distinct":true,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/34a110bfebf2840a0cbfdf2ccf56e518cfec7ede"}]}