diff options
| author |  Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-08-01 01:29:38 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2007-08-01 00:38:31 -0700 |
| commit | d7ac12b25d375d32372b13f74e90425ca21d5dc1 (patch) | |
| tree | a79db447d85ee9a56f51851f5eafba6daf197b8a /git-request-pull.sh | |
| parent | Add functions get_relative_cwd() and is_inside_dir() (diff) | |
| download | tgif-d7ac12b25d375d32372b13f74e90425ca21d5dc1.tar.xz | |
Add set_git_dir() function
With the function set_git_dir() you can reset the path that will
be used for git_path(), git_dir() and friends.
The responsibility to close files and throw away information from the
old git_dir lies with the caller.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-request-pull.sh')
0 files changed, 0 insertions, 0 deletions