4 ms·GitHub already has a feature to check if any public GH repo has this name. They've called it search.by TobTobXX 4y agoGitHub already has a feature to check if any public GH repo has this name. They've called it search.