mirror of
https://github.com/git/git.git
synced 2026-04-12 01:40:10 +02:00
Merge branch 'jk/pull-rebase-with-work-tree'
* jk/pull-rebase-with-work-tree: pull,rebase: handle GIT_WORK_TREE better Conflicts: git-pull.sh
This commit is contained in:
@@ -11,7 +11,7 @@ OPTIONS_SPEC=
|
||||
. git-sh-setup
|
||||
. git-sh-i18n
|
||||
set_reflog_action "pull${1+ $*}"
|
||||
require_work_tree
|
||||
require_work_tree_exists
|
||||
cd_to_toplevel
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user