How do I properly rename a GitHub repository inside Eclipse? Or do I need to do everthing manually? E.g rename the GitHub repository inside GitHub and then delete my project
