{"shas":[["1441071a867c3d173647a6119b4b470828c46cdc","1382244e1784be148fb78b24983c206ebc95928f@zive.at","Number format for CSV output is now adjustable through config.json.","Michael Aufreiter"]],"ref":"refs/heads/master","size":1,"head":"1441071a867c3d173647a6119b4b470828c46cdc","push_id":34392050}