https://blacktutorial.pages.dev/posts/how-to-remove-a-remote-git-repository/