After cutting a new release, version-publish workflow automatically creates a PR to publish a new version of the documentation but CI checks won't execute unless a label is assigned on the PR. Hopefully adding the area/documentation label at PR creation will have the same effect and we don't have to manually apply changes.
Description
After cutting a new release,
version-publishworkflow automatically creates a PR to publish a new version of the documentation but CI checks won't execute unless a label is assigned on the PR. Hopefully adding thearea/documentationlabel at PR creation will have the same effect and we don't have to manually apply changes.