Remove unused bndtools dependency #4766

	name: Pull Request Labels

	on:
	pull_request:
	# Run whenever the labels change or the PR HEAD changes. In theory, the latter is a bit redundant,
	# but it's necessary to make sure that the check is applied to the final commit for a PR
	types: [opened, reopened, labeled, unlabeled, synchronize]

	permissions:
	contents: read

	jobs:
	labels:
	runs-on: ubuntu-latest
	permissions:
	checks: write
	contents: read
	pull-requests: read
	steps:
	- name: Checkout sources
	uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
	with:
	sparse-checkout: build/release-notes-config.json
	- name: Check Labels
	uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
	with:
	script: \|
	// Gather required labels from release notes configuration
	const releaseNotesConfig = require('./build/release-notes-config.json');
	var requiredLabels = new Set();
	releaseNotesConfig.categories
	.flatMap(category => category.labels)
	.forEach(label => requiredLabels.add(label));

	// Check if the current PR has a label in the required set
	const pr_labels = context.payload.pull_request.labels.map(l => l.name);
	if (!pr_labels.some(l => requiredLabels.has(l))) {
	core.setFailed("PR is not labeled with any of the required labels: " + JSON.stringify(Array.from(requiredLabels)) +
	" It has: " + JSON.stringify(Array.from(pr_labels)));
	}

Provide feedback