mathlib

02ca5e28 - fix(.github/workflows/add_label_from_review.yml): fix label removal (#4240)

fix(.github/workflows/add_label_from_review.yml): fix label removal (#4240) The API calls were referencing the wrong field, see for example https://github.com/leanprover-community/mathlib/runs/1161014126?check_suite_focus=true#step:7:3