merge: use editor by default in interactive sessions
[gitweb.git] / Documentation / git-pull.txt
2005-09-08 Big tool rename.