diff options
| author | Patrick Steinhardt <ps@pks.im> | 2024-05-15 08:51:05 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-05-15 07:30:52 -0700 |
| commit | f1701f279a3678e95daa5c093b8d30e815c1701b (patch) | |
| tree | a70bd4fe6291bf742ca7c909e40c7f84e00d358c /range-diff.c | |
| parent | 993d57ededa2238e7526ccdb05b39b0265053f37 (diff) | |
ref-filter: properly distinuish pseudo and root refs
The ref-filter interfaces currently define root refs as either a
detached HEAD or a pseudo ref. Pseudo refs aren't root refs though, so
let's properly distinguish those ref types.
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'range-diff.c')
0 files changed, 0 insertions, 0 deletions
