increasing max user nodepool count #4984

	name: Config Change Detection
	on:
	pull_request:
	branches:
	- main
	permissions:
	contents: read
	jobs:
	build:
	name: change-detection
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
	with:
	fetch-depth: '20'
	- name: 'Validate configurations'
	run: \|
	set -o errexit
	set -o nounset
	set -o pipefail
	set -o xtrace

	git fetch origin ${{ github.base_ref }}:${{ github.base_ref }}
	git fetch origin ${{ github.ref }}
	git checkout FETCH_HEAD
	export MERGE_BASE_REF=$( git merge-base HEAD ${{ github.base_ref }} )
	if ! make validate-config; then
	set +o xtrace
	echo "##################################################################"
	echo "## ##"
	echo "## If you intended to change the service configuration, run ##"
	echo "## make -C config/ materialize ##"
	echo "## and check in the result. ##"
	echo "## ##"
	echo "##################################################################"
	exit 1
	fi
	- name: 'Validate configurations and pipelines'
	run: make validate-config-pipelines
	- name: 'Generate Pipeline Inventory'
	run: \|
	cd docs/
	make pipelines.md
	- name: 'Fail if there is uncommited change'
	run: \|-
	cd config/
	make detect-change

Provide feedback