[MNT] Update PR bot comment when labels are added to a PR

[MatthewMiddlehurst]

Describe the issue

Currently you can tick boxes on the initial PR comment to add labels. i.e. coverage actions etc. Unticking these boxes will remove the label.

Functionality should be added that when labels are added or removed from a PR manually these checkboxes are updated.

Suggest a potential alternative/fix

No response

Additional context

No response

[saadaltohamy]

Can a contributor with no write access doing that?

Because You said that "I can tick boxes on the initial PR comment to add labels". But I think this is not available for no-write access, right? because I don't see how to do that actually, I mean, I can't edit labels manually or with tick boxes.

[MatthewMiddlehurst]

Yes users without write access cannot interact with this currently. I am happy to have commands interacting with this system to allow that as a separate issue.