I accidentally named my package the wrong thing and I pushed it to github before I noticed. I renamed it locally, but when I push it again it hasn’t tracked the changes made since it was just a couple of capitalization errors. How do I fix the remote capitalization errors? I mean its not a huge deal, but I would prefer to maintain consistency.
Share
the manpage of git remote says