trashy: Generate and install man page #335528

	name: "Label PR"

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

	# WARNING:
	# When extending this action, be aware that $GITHUB_TOKEN allows some write
	# access to the GitHub API. This means that it should not evaluate user input in
	# a way that allows code injection.

	permissions:
	contents: read
	pull-requests: write

	jobs:
	labels:
	runs-on: ubuntu-latest
	if: "github.repository_owner == 'NixOS' && !contains(github.event.pull_request.title, '[skip treewide]')"
	steps:
	- uses: actions/labeler@v4
	with:
	repo-token: ${{ secrets.GITHUB_TOKEN }}
	sync-labels: true

Provide feedback