職場ではバージョン管理にGitHubを使用しているのだが、HNがバレるのが嫌で別のアカウントを使っている。しかし、会社でお昼休みや休憩時間に個人の開発を行うときに困ったことが起きた。 会社のPCからgit pushすると、仕事用アカウントとしてpushされてしまうのだ。 ということで、仕事用とプライベート用のアカウント…