Pull Request 北

git

ええと、ローカルで確認したいのですが、PR 発行元のリポジトリを remote add するのか。
で、git fetch して該当 branch を checkout して origin に push して markdown なのでそっちで挙動の確認。

つうか

ローカルに PR 発行元のリポジトリを云々、というあたりが微妙に繁雑というかリポジトリの URL を調べる方法てきに楽なやり方があるのかなぁ。

とりあえず

PR は merge させて頂きました。どことなく。

ぐぬぬ

よくよく見たら pull request な通知メイルに

You can merge this Pull Request by running

て文言の下にリポジトリとか branch などが記載されてますね。これ見つつ

  • fork なソレを remote add
  • git fetch
  • git merge /

すれば良いのか成程。