Repository navigation

Close Old PRs #1

	name: Close Old PRs

	on:
	schedule:
	- cron: "17 14 * * *"
	workflow_dispatch:
	inputs:
	max_items:
	description: "Maximum open PRs to process"
	default: "1000"
	type: string

	permissions:
	contents: read

	concurrency:
	group: ${{ github.workflow }}
	cancel-in-progress: false

	jobs:
	close-old-prs:
	runs-on: ubuntu-latest
	timeout-minutes: 10
	permissions:
	contents: read
	issues: write
	pull-requests: write

	steps:
	- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

	- name: Warn or close old PRs
	uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
	env:
	MAX_ITEMS: ${{ inputs.max_items \|\| '1000' }}
	with:
	script: \|
	const { run } = require('./.github/scripts/labeling/close-old-prs.js');
	await run({ github, context, core });