{"push_id":1085790121,"size":2,"distinct_size":2,"ref":"refs/heads/openflow","head":"830769ef88a9c2c1a1fc19b345251e0c87abc304","before":"0a503788d0a68f2721ba31958da3bec78b696cc4","commits":[{"sha":"53961feb54c3bcab4cc268a0c0ab7b5fa4856349","author":{"email":"aa5dc48ec7e6d305d531bd2dd14b620c5f47b66c@liftm.de","name":"Caesar"},"message":"Fix build of session OpenFlow with -o document=pdf by making OpenFlow/root.tex a dummy and moving everything into OpenFlowDoc.thy","distinct":true,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/53961feb54c3bcab4cc268a0c0ab7b5fa4856349"},{"sha":"830769ef88a9c2c1a1fc19b345251e0c87abc304","author":{"email":"c375e5d6bc51d12e527eab82ed0a673224e06297@googlemail.com","name":"diekmann"},"message":"Merge pull request #92 from jcaesar/openflow_simplified\n\nFix -o document=pdf -D . build","distinct":true,"url":"https://api.github.com/repos/diekmann/Iptables_Semantics/commits/830769ef88a9c2c1a1fc19b345251e0c87abc304"}]}