chore: update list of labels that can be managed by comment#775

grunweg merged 1 commit intolean4leanprover-community/leanprover-community.github.io:lean4from

bryangingechen-patch-2leanprover-community/leanprover-community.github.io:bryangingechen-patch-2Copy head branch name to clipboard