~/.ssh/configにHost毎にUserを設定するのはなんでですか？
github用にはUser gitを指定している記事がいくつか見当たりますが指定しなくてもpushできてます
何の理由があるんでしょうか？