I want to push to my remote repo, which is hosted on github, using HTTPS. No, I don't want to use SSH or any other protocol so please don't suggest that.
Now, I know you can specify a default username in the remote itself, like so:
git remote add origin https://[Username]@github.com/[OrgName]/[RepoName].git
However, considering the default HTTPS URL github gives does not contain a username, that would presumably mean every developer would need to manually modify the remote URL to add their username. Isn't there some global config setting you can use to just tell git your default push username? If not, why does github not give you an HTTPS remote URL that contains the [Username]@
part?