Rename github-tools repo to hs-github-tools.#100

iphydf merged 1 commit intoTokTok:masterTokTok/hs-github-tools:masterfrom

iphydf:renameiphydf/hs-github-tools:renameCopy head branch name to clipboard