diff options
| author |  Phil Hord <phil.hord@gmail.com> | 2011-10-04 16:05:17 -0400 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2011-10-04 13:30:38 -0700 |
| commit | 03106768afa0be60346bb335f9fd11063622c91d (patch) | |
| tree | 4814b73c349de3699d796eafced24a6ff68ae573 /Documentation/git-request-pull.txt | |
| parent | enter_repo: do not modify input (diff) | |
| download | tgif-03106768afa0be60346bb335f9fd11063622c91d.tar.xz | |
Learn to handle gitfiles in enter_repo
The enter_repo() function is used to navigate into a .git
directory. It knows how to find standard alternatives (DWIM) but
it doesn't handle gitfiles created by git init --separate-git-dir.
This means that git-fetch and others do not work with repositories
using the separate-git-dir mechanism.
Teach enter_repo() to deal with the gitfile mechanism by resolving
the path to the redirected path and continuing tests on that path
instead of the found file.
Signed-off-by: Phil Hord <hordp@cisco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-request-pull.txt')
0 files changed, 0 insertions, 0 deletions