Is GGG mislabeling topics?
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 19, 2023, 17:32 UTC
- Message-ID
- <xmqqpmba1ld4.fsf@gitster.g>
These comments from GGG bot
https://github.com/git/git/pull/1435#issuecomment-1386301994
https://github.com/git/git/pull/1435#issuecomment-1386302018add '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?