Edit requests of Proxy環境で GitHub に push する際、毎回ユーザー名とパスワードの入力をしなくて良くなった話