{"push_id":762344039,"size":1,"distinct_size":1,"ref":"refs/heads/refactoring","head":"d35d5b10fe02f7fe25ab969d1333db7a39b8acd0","before":"3ecf05114612ca4fca78e13107fac9a0a2a1b582","commits":[{"sha":"d35d5b10fe02f7fe25ab969d1333db7a39b8acd0","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","name":"diekmann"},"message":"mainly indentation and commenting out unused stuff","distinct":true,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/d35d5b10fe02f7fe25ab969d1333db7a39b8acd0"}]}