I created a local GIT repository on Windows. Let's call it AAA. I staged, committed, and pushed the contents to GitHub. git@github.com:username/AAA.git 
I realized I made a mistake with the name.
On GitHub, I renamed it to git@github.com:username/BBB.git 
Now, on my Windows machine, I need to change git@github.com:username/AAA.git to git@github.com:username/BBB.git because the settings are still trying to "push" to git@github.com:username/AAA.git but I need to push to git@github.com:username/BBB.git now.
How could I do that?
 
     
     
     
     
     
     
     
     
    