githubにアカウント作ったりしてみました。やり方とかはこちら見つつですが、github側で用意されている解説が非常によくできているので、特に迷いませんでした。*1 githubにpushする元になった(git remote add originした)レポジトリではgit pushできるけれ…