These comments from GGG bot https://github.com/git/git/pull/1435#issuecomment-1386301994 https://github.com/git/git/pull/1435#issuecomment-1386302018 add 'next' and 'seen' labels, citing merges e3ead5f and c52b021 respectively, but these merges are of a topic that has little to do with this pull request (#1435). Is this expected?