{"push_id":753244851,"size":1,"distinct_size":0,"ref":"refs/heads/refactoring","head":"980407f866cb18d959ea6ea5d4fd89cbf0d4d973","before":"67bc9339e718155e5b5a4878bbfdec0e7d3caf09","commits":[{"sha":"980407f866cb18d959ea6ea5d4fd89cbf0d4d973","author":{"email":"c375e5d6bc51d12e527eab82ed0a673224e06297@googlemail.com","name":"diekmann"},"message":"Merge pull request #18 from diekmann/refactoring\n\nsimple_match_port code equation","distinct":false,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/980407f866cb18d959ea6ea5d4fd89cbf0d4d973"}]}