Subject: Is GGG mislabeling topics?

From: Junio C Hamano <[email-masked]>
Date: Thu, 19 Jan 2023 09:32:07 -0800

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?