Renamed GitHub tool to Git tool.