summaryrefslogtreecommitdiff
path: root/Documentation/git-p4.txt
diff options
context:
space:
mode:
authorLibravatar Jeff King <peff@peff.net>2016-01-22 17:27:33 -0500
committerLibravatar Junio C Hamano <gitster@pobox.com>2016-01-25 11:41:53 -0800
commitffd036b1286687589f5ce5513ee69c06ee53691e (patch)
tree44b7f409604b25f94a12d6f249a88ad1a4200487 /Documentation/git-p4.txt
parentMerge branch 'maint' of git://github.com/git-l10n/git-po into maint (diff)
downloadtgif-ffd036b1286687589f5ce5513ee69c06ee53691e.tar.xz
clean: make is_git_repository a public function
We have always had is_git_directory(), for looking at a specific directory to see if it contains a git repo. In 0179ca7 (clean: improve performance when removing lots of directories, 2015-06-15), we added is_git_repository() which checks for a non-bare repository by looking at its ".git" entry. However, the fix in 0179ca7 needs to be applied other places, too. Let's make this new helper globally available. We need to give it a better name, though, to avoid confusion with is_git_directory(). This patch does that, documents both functions with a comment to reduce confusion, and removes the clean-specific references in the comments. Based-on-a-patch-by: Andreas Krey <a.krey@gmx.de> Signed-off-by: Jeff King <peff@peff.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-p4.txt')
0 files changed, 0 insertions, 0 deletions