Improve compatibility with Firefox #1054

	name: PR

	on:
	pull_request_target:
	types: [opened, reopened, edited, closed]

	jobs:
	reminder:
	name: Label Reminder
	if: github.event.pull_request.merged == true
	runs-on: ubuntu-latest
	permissions:
	pull-requests: write
	steps:
	- name: Check if PR has no labels
	id: check
	uses: actions/github-script@v8
	with:
	result-encoding: string
	script: \|
	const labels = context.payload.pull_request.labels;
	return labels.length === 0;

	- name: Post comment if unlabeled
	if: steps.check.outputs.result == 'true'
	uses: marocchino/sticky-pull-request-comment@v2
	with:
	message: 'To maintainers: Please add labels to this PR'

	Sync:
	if: github.event.pull_request.state == 'open'
	runs-on: ubuntu-latest
	permissions:
	pull-requests: write
	issues: read
	contents: read
	steps:
	- uses: actions/github-script@v8
	with:
	script: \|
	const allowed = ['bug', 'enhancement', 'meta']
	const { owner, repo } = context.repo
	const pr = context.payload.pull_request

	const query = `
	query($owner:String!, $repo:String!, $number:Int!) {
	repository(owner:$owner, name:$repo) {
	pullRequest(number:$number) {
	closingIssuesReferences(first: 10) {
	nodes {
	labels(first: 20) {
	nodes { name }
	}
	}
	}
	}
	}
	}
	`

	const res = await github.graphql(query, {
	owner, repo, number: pr.number
	})

	const labels = new Set()
	for (const issue of res.repository.pullRequest.closingIssuesReferences.nodes) {
	for (const l of issue.labels.nodes) {
	if (allowed.includes(l.name)) labels.add(l.name)
	}
	}

	if (labels.size > 0) {
	await github.rest.issues.addLabels({
	owner,
	repo,
	issue_number: pr.number,
	labels: [...labels]
	})
	}

Provide feedback