Repository navigation

Managed plugins are never re-synced from the server after install — local edits/deletions to plugin content are neither detected nor corrected (enforcement silently defeatable) #6495

	name: Label incoming issues
	on:
	issues:
	types:
	- reopened
	- opened
	- unlabeled

	permissions:
	issues: write

	jobs:
	label_incoming_issues:
	runs-on: ubuntu-latest
	if: github.event.action == 'opened' \|\| github.event.action == 'reopened'
	steps:
	- run: gh issue edit "$NUMBER" --add-label "$LABELS"
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	GH_REPO: ${{ github.repository }}
	NUMBER: ${{ github.event.issue.number }}
	LABELS: triage
	label_more_info_issues:
	if:
	github.event.action == 'unlabeled' && github.event.label.name ==
	'more-info-needed'
	runs-on: ubuntu-latest
	steps:
	- run: gh issue edit "$NUMBER" --add-label "$LABELS"
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	GH_REPO: ${{ github.repository }}
	NUMBER: ${{ github.event.issue.number }}
	LABELS: triage