[mew-dist 29094] Re: .gitignore

[Kazu Yamamoto ( 山本和彦 )]

>> Pull Request ボタンでやってみて。
>> すると github の Inbox にメッセージが来るの？
>> それともメール？
> 
> やってみました．どうなったか知りたいです．

メールがやってきたので github に行くと、Inbox にもメッセージが入ってい
ました。

>>> 今回は，そのまま pull してもいいと
>>> 思いますが，場合によっては，別 branch に一旦 pull して内容を
>>> 確認したほうがいいかもしれません．
>> 
>> fetch して、自分で merge するつもりです。
> 
> というか，どこに fetch してくるかの問題だと思います．
> 今回の場合，FETCH_HEAD を取り出す受け皿用 branch
> が結局必要になると思います．つまり fetch も pull も同じかと．
> 
> 一方，origin/master に他人が push する可能性のある場合は，
> いきなり master に pull すると面倒になることがあるので，
> まず fetch してから考えることはよくあります．

ややや。そういうことか！

--かず