[Merged by Bors] - fix: do not remove reactions if the corresponding label is still present on the PR - #27570

[Merged by Bors] - fix: do not remove reactions if the corresponding label is still present on the PR#27570

bryangingechen wants to merge 5 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

bryangingechen:bgc-fix-disappearing-emojisbryangingechen/mathlib4:bgc-fix-disappearing-emojisCopy head branch name to clipboard