ローカルで開発していたリポジトリをGitHubにプッシュすることが増えてきました。もともとGitHubからGitを勉強してきたのもあって、GitHubに頼らずともバージョン管理を積極的にできるようになったのは少し成長したかもしれません。 ところで、そのローカル…