GitHub PushEvent at 2014-01-10 14:26:42
Repository: humanoid_navigation
Actor: ahornung
Payload: {"shas":[["3449e9afd8bb9ef3b1352ffe2882df066fb30547","1fa37fff30a034cf595306ef9c621e44a28e3461@informatik.uni-freiburg.de","gridmap_2d: Add option to treat unknown as obstacle","Armin Hornung",true]],"size":1,"ref":"refs/heads/devel","head":"3449e9afd8bb9ef3b1352ffe2882df066fb30547"}