ツール

GitHubとSourcetreeの接続が切れ、pushできなくなってしまいました。その時の解決方法をまとめてみました。