diff options
author | Jeff King <peff@peff.net> | 2016-01-22 17:27:33 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-01-25 11:41:53 -0800 |
commit | ffd036b1286687589f5ce5513ee69c06ee53691e (patch) | |
tree | 44b7f409604b25f94a12d6f249a88ad1a4200487 /git-mergetool.sh | |
parent | Merge branch 'maint' of git://github.com/git-l10n/git-po into maint (diff) | |
download | tgif-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 'git-mergetool.sh')
0 files changed, 0 insertions, 0 deletions