One of the formats for pushing to git on command line is
Url format:
https://{username:password@}github.com/{owner}/{repo}
My challenge is the username and password - which are for a shared account I do not control - contain the @
within them (both actually ..)
What would be my options in this case (and not to change the username, password - that will take some additional administrative/coordination steps).