[docs] More docs infra changes #426

	name: Maintenance

	on:
	# So that PRs touching the same files as the push are updated
	push:
	branches:
	- master
	- next
	# So that the `dirtyLabel` is removed if conflicts are resolved
	# Could put too much strain on rate limit
	# If we hit the rate limit too often remove this event
	pull_request_target:
	branches:
	- master
	- next
	types: [synchronize]

	permissions: {}

	jobs:
	main:
	# l10nbot creates a lot of commits at once which starves CI.
	# We rely on other pushes to mark these branches as outdated.
	if: ${{ github.actor != 'l10nbot' }}
	runs-on: ubuntu-latest
	permissions:
	contents: read
	pull-requests: write
	steps:
	- run: echo "${{ github.actor }}"
	- name: check if prs are dirty
	uses: eps1lon/actions-label-merge-conflict@fd1f295ee7443d13745804bc49fe158e240f6c6e # v2.1.0
	with:
	dirtyLabel: 'PR: out-of-date'
	removeOnDirtyLabel: 'PR: ready to ship'
	repoToken: '${{ secrets.GITHUB_TOKEN }}'
	retryAfter: 130
	retryMax: 10

Provide feedback