This is going to be a very quick post. It is more to remind future me than anything. Did you change your password on your gitlab (or github) server? Do you now get “remote: HTTP Basic: Access denied” when you “git push origin”?
If you “git remote show origin”, it will ask for your credentials again. After that, you can “git push origin” your heart out.