{"push_id":1027254741,"size":1,"distinct_size":1,"ref":"refs/heads/ipv6","head":"9598d8265640d08c7d904f55a923feed4253aff8","before":"72f7c28908240e3e17547c9ed2b2c729a23c8eed","commits":[{"sha":"9598d8265640d08c7d904f55a923feed4253aff8","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"and_mask_shift_helper","distinct":true,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/9598d8265640d08c7d904f55a923feed4253aff8"}]}