ci: avoid unnecessary label removal/re-adding on PR edits#6479

gharlan merged 1 commit into5.xredaxo/core:5.xfrom

lint-pr-labels-fixredaxo/core:lint-pr-labels-fixCopy head branch name to clipboard