{"shas":[["1991a9ff14739c2484d013eedbec6ca4e97a8f80","622918203b864721488dbded425af7ad54102545@student.ethz.ch","Minor, for pulling","Patrick Baenziger"],["98a479caa717e5d221857ecbb715a165258f7f26","622918203b864721488dbded425af7ad54102545@student.ethz.ch","Merge branch 'master' of github.com:rggjan/cil","Patrick Baenziger"]],"ref":"refs/heads/master","size":2,"head":"98a479caa717e5d221857ecbb715a165258f7f26","push_id":34407720}