github

久しく使っていなかったgithubで、git pushがうまくいかずにハマってしまったので、解決策とともに記載いたします。