{"shas":[["0c1382242b6be3688883e147e155ee63a138a4bb","64ecde127a94d3b44aaaac44cdba625c5c68f2ff@voltdb.com","Update tools command script (make it \"source\"able) and add text and graphics for new hello world tutorial.","Andrew Gent"]],"ref":"refs/heads/master","size":1,"head":"0c1382242b6be3688883e147e155ee63a138a4bb","push_id":43635924}