pull: pass git-fetch's options to git-fetch
commita32975f516f2077928e29729e29612bd055c24ab
authorPaul Tan <pyokagan@gmail.com>
Thu, 18 Jun 2015 10:54:01 +0000 (18 18:54 +0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 18 Jun 2015 20:16:08 +0000 (18 13:16 -0700)
tree1ab09616cc3f143cbccff459b0a70958c3af06c0
parent11b6d1780173727b5ecb82428cf49e5788b2985a
pull: pass git-fetch's options to git-fetch

Since eb2a8d9 (pull: handle git-fetch's options as well, 2015-06-02),
git-pull knows about and handles git-fetch's options, passing them to
git-fetch. Re-implement this behavior.

Since 29609e6 (pull: do nothing on --dry-run, 2010-05-25) git-pull
supported the --dry-run option, exiting after git-fetch if --dry-run is
set. Re-implement this behavior.

Signed-off-by: Ramsay Jones <ramsay@ramsay1.demon.co.uk>
Signed-off-by: Paul Tan <pyokagan@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
builtin/pull.c