Chris Hennick c17b824408 Revert "ci: Close-old-PR step needs GitHub token" ... This reverts commit 8d18f1a7bd.		2024-05-12 11:25:14 -07:00
..
ISSUE_TEMPLATE	Improve copyright warning	2024-05-10 15:51:21 -07:00
workflows	Revert "ci: Close-old-PR step needs GitHub token"	2024-05-12 11:25:14 -07:00
dependabot.yml	ci: Drop redundant "(deps)" from Dependabot PR names	2024-04-25 07:59:22 -07:00