GitHub PushEvent at 2014-03-04 07:58:29
Repository: ArangoDB
Actor: mchacki
Payload: {"shas":[["ebd37579ccad496ae43d6f4d5266f7125fd89d06","f6bd7ba6693b1cc40e07e0cf2d818b79df0c25c6@triagens.de","Fixed a bug when deleting the cluster plan","mchacki",true],["879f32fa53bc13d38eaca33e498dd9bab146c7c9","f6bd7ba6693b1cc40e07e0cf2d818b79df0c25c6@triagens.de","Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel","mchacki",true]],"size":2,"ref":"refs/heads/devel","head":"879f32fa53bc13d38eaca33e498dd9bab146c7c9"}