Scott Talbert 04326551fd CI: ignore CircleCI config files from all other CIs ... Avoid spurious rebuilds when modifying CircleCI config files. Closes #23405.		2023-04-04 15:28:34 +02:00
..
ISSUE_TEMPLATE	Refactor issue templates using HTML comments	2022-09-27 23:27:42 +02:00
workflows	CI: ignore CircleCI config files from all other CIs	2023-04-04 15:28:34 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00