refs: rename `is_special_ref()` to `is_pseudo_ref()`
commit32019a7a76ba0e43714c2d161cd65992f161a7ab
authorPatrick Steinhardt <ps@pks.im>
Wed, 15 May 2024 06:50:47 +0000 (15 08:50 +0200)
committerJunio C Hamano <gitster@pobox.com>
Wed, 15 May 2024 14:30:51 +0000 (15 07:30 -0700)
tree2ba6c6fddaef63f23bcca8b3456cbdfc2a851b6b
parentf6936e62a50e8bc9e268f3396618d33e88f4df7e
refs: rename `is_special_ref()` to `is_pseudo_ref()`

Rename `is_special_ref()` to `is_pseudo_ref()` to adapt to the newly
defined terminology in our gitglossary(7). Note that in the preceding
commit we have just renamed `is_pseudoref()` to `is_root_ref()`, where
there may be confusion for in-flight patch series that add new calls to
`is_pseudoref()`. In order to intentionally break such patch series we
have thus picked `is_pseudo_ref()` instead of `is_pseudoref()` as the
new name.

Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
refs.c