update github-tools submodule