note to myself:

`git push` does not work with with github ssh when using credentials manager