pr-labels-action. A Github action that extracts labels from the PR that this build belongs to, and makes them available to other actions.