user.github vs github.user in gitconfig

[TaiSakuma]

I am wondering why CMS uses "use.github" rather than "github.user" in its git configuration.

This faq page http://cms-sw.github.io/cmssw/faq.html instructs users to run $ git config --global user.github

However, it is more common to do $ git config --global github.user see for example https://github.com/blog/180-local-github-config

As a result, in my ~/.gitconfig, I have two entries about the same information:

[user] github = TaiSakuma [github] user = TaiSakuma

In fact, if I google "git config --global user.github", I receive only 5 results and all are in CMS. On the other hand, if I google "git config --global github.user" , I get more than 25,000 results.

[ktf]

I must admit I did not know about it. I'll support both for next version and change the instructions at some when there is no risk of using the old version.

[TaiSakuma]

I see. Thank you for supporting both in the next version.