How to set a default username for HTTPS git push?

Question

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?

Answer 1

OK, git credentials can do this. Adding this to my git config fixed the problem:

[credential "https://github.com"]
    username = (MyUsername)

Note that git credentials is a relatively new feature in git, released in 1.7.9 or something, so it won't work in older versions.