Repository navigation

Ping the user who enqueued a PR when it's removed from the merge queue #13831

Job	Run time
check-codeql-versions	15s
analyze-other (actions)	46s
analyze-javascript (ubuntu-22.04)	4m 52s
analyze-javascript (windows-2022, linked)	5m 33s
analyze-javascript (windows-2025)	5m 39s
analyze-javascript (macos-14-xlarge, linked)	2m 48s
analyze-javascript (ubuntu-22.04, linked)	4m 59s
analyze-javascript (macos-15-xlarge, linked)	3m 4s
analyze-javascript (windows-2025, linked)	5m 12s
analyze-javascript (macos-14-xlarge)	3m 4s
analyze-javascript (macos-15-xlarge)	2m 40s
analyze-javascript (windows-2022)	5m 44s
analyze-javascript (ubuntu-24.04, linked)	3m 27s
analyze-javascript (ubuntu-24.04)	4m 39s
	52m 42s