前回VSCodeを記事にした。 ついでにもう一つ書いておく。 VSCodeでは開発系エディタなのでGitのサポートもされている。 GitHubのレポジトリをsshプロトコルでcloneすると公開鍵で認証されるので操作する時にパスワードが 求められないので非常に重宝している。 非常に使い勝手が良いので一緒に作業する人にも勧めているのだが ある時、ある人がうまくGitのPush操作がうまくいかない人が出てきた。 commit操作はできるだが、サーバにpushしようとするとエラーが出て うまくいかない。 直前に同じレポジトリをhttps経由で操作してPUSHしていたので、ネットワーク的な 問題はあま…