[TobTobXX]

GitHub already has a feature to check if any public GH repo has this name. They've called it search.