Repository navigation

(3a) init: honor the hugepage allotment, size receive rings to it #12322

	# Block Pull Request merge (by failing the check) if specific labels are set.

	name: "mergeability.yml"

	on:
	pull_request:
	types: [synchronize, opened, reopened, labeled, unlabeled]
	merge_group:
	types: ["checks_requested"]

	concurrency:
	# Fall back to `github.run_id` (always unique) for merge_group events so we
	# never cancel an in-progress merge-queue check.
	group: "${{ github.workflow }}:${{ github.event.pull_request.number \|\| github.run_id }}"
	cancel-in-progress: true

	permissions: {}

	jobs:
	check-labels:
	runs-on: "ubuntu-latest"
	name: "Check mergeability based on labels"
	# Skip this job in merge group checks; but we need the workflow to run,
	# given that the status check is required for merging.
	if: "${{ github.event.pull_request }}"
	steps:
	- if: ${{ contains(github.event..labels..name, 'dont-merge') }}
	name: "Fail test due to 'dont-merge' label presence"
	run: \|
	exit 1
	- name: "Allow merging"
	run: \|
	exit 0