【GitHub】Gitと何が違う? AIへの公開依頼から学ぶ push・clone・pull request

Claude Codeに「この紹介ページをGitHubに公開リポジトリとして送って」「READMEの誤字を直すpull requestを出して」と日本語で頼むと、公開リポジトリができ、直す案がpull requestで出てきました。取り込む(merge)のは、人が差分を確かめてからです。まずAIに頼むところを見せ、次にAIが裏で打ったコマンド(gh repo create・git push・git checkout -b・gh pr create)を、手で打つやり方(git remote add・git push・git clone・git switch -c・merge)と一緒に解説します。GitとGitHubの違いは、自分のノートと共有の図書館のたとえで説明します。最後に、送る前に見せて止まる・名前とメールは設定しない・マージは人がする、といった条件を書き足した頼み方を、短い頼み方と比べます。