[mew-dist 29093] Re: .gitignore

[Yoshinari Nomura]

乃村です．

> Pull Request ボタンでやってみて。
> すると github の Inbox にメッセージが来るの？
> それともメール？

やってみました．どうなったか知りたいです．

>> 今回は，そのまま pull してもいいと
>> 思いますが，場合によっては，別 branch に一旦 pull して内容を
>> 確認したほうがいいかもしれません．
> 
> fetch して、自分で merge するつもりです。

というか，どこに fetch してくるかの問題だと思います．
今回の場合，FETCH_HEAD を取り出す受け皿用 branch
が結局必要になると思います．つまり fetch も pull も同じかと．

一方，origin/master に他人が push する可能性のある場合は，
いきなり master に pull すると面倒になることがあるので，
まず fetch してから考えることはよくあります．
--
nom