GitHub PushEvent at 2014-09-24 18:56:34
Repository: RoboMiner
Actor: arnoudja
Payload: {"shas":[["63b6fb2bfa57b89a7e9334a4eac8a09cbdfbcbc4","bb965ec777b0838eb77b10ff89e2edd906ff0b11@localhost","Mining area access restricted with achievements.","arnoud",true],["5f6c205ac02d3679866979909d5a4aff3591e44c","bb965ec777b0838eb77b10ff89e2edd906ff0b11@localhost","Prantum ore class added.","arnoud",true],["da6d35676dfa2e5fdc4d7426e5a82dc71712f315","bb965ec777b0838eb77b10ff89e2edd906ff0b11@localhost","Added time() robot program command.","arnoud",true]],"size":3,"ref":"refs/heads/develop","head":"da6d35676dfa2e5fdc4d7426e5a82dc71712f315"}