GitHub PushEvent at 2014-02-20 09:41:17
Repository: ArangoDB
Actor: neunhoef
Payload: {"shas":[["1a71c9a17e20ec2365588b3b9641f97954cfb1c5","148b21f20fd8b57d4c4c46eb4cd87f4047d33749@triagens.de","Kill process under Unix even when it is not known.","Max Neunhoeffer",true],["b7614580ef76c799a8df5a93325baa11728fcaab","148b21f20fd8b57d4c4c46eb4cd87f4047d33749@triagens.de","Fix cluster scripts.","Max Neunhoeffer",true],["ab5f6276332d4c54d2ed708d3548f8763d2807ea","148b21f20fd8b57d4c4c46eb4cd87f4047d33749@triagens.de","Add relaunch script.","Max Neunhoeffer",true],["bd21875d0c973e206ae160206ab0e23c02d5f6d7","148b21f20fd8b57d4c4c46eb4cd87f4047d33749@triagens.de","Adjust paths to allow call with a different current dir.","Max Neunhoeffer",true],["8f072bb05467505dc8da9fdcf9f51085dbe44d2f","148b21f20fd8b57d4c4c46eb4cd87f4047d33749@triagens.de","Merge branch 'sharding' of ssh://github.com/triAGENS/ArangoDB into sharding","Max Neunhoeffer",true]],"size":5,"ref":"refs/heads/sharding","head":"8f072bb05467505dc8da9fdcf9f51085dbe44d2f"}