前回、github のとあるリポジトリに Pull Request したことを綴りました。 githubでPull Request送られてきたら。人生初めての Pull Request が Merge されて、 その後に何する必要があるの？ってところを メモにします。自分のローカルリポジトリにある、ma…