diff options
author | Patrick Steinhardt <ps@pks.im> | 2024-05-15 08:50:42 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2024-05-15 07:30:51 -0700 |
commit | f6936e62a50e8bc9e268f3396618d33e88f4df7e (patch) | |
tree | f904d0da33b78d961eb41666a1121ca3a88468ed /ref-filter.c | |
parent | 74b50a5881d3a43bc2bd466c01fa6e08849dc1d2 (diff) |
refs: rename `is_pseudoref()` to `is_root_ref()`
Rename `is_pseudoref()` to `is_root_ref()` to adapt to the newly defined
terminology in our gitglossary(7).
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ref-filter.c')
-rw-r--r-- | ref-filter.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ref-filter.c b/ref-filter.c index 59ad6f54dd..361beb6619 100644 --- a/ref-filter.c +++ b/ref-filter.c @@ -2756,7 +2756,7 @@ static int ref_kind_from_refname(const char *refname) return ref_kind[i].kind; } - if (is_pseudoref(get_main_ref_store(the_repository), refname)) + if (is_root_ref(get_main_ref_store(the_repository), refname)) return FILTER_REFS_PSEUDOREFS; return FILTER_REFS_OTHERS; |