Lewis Crichton 623fa5d709 ci: notify us when PR is open [skip ci] ... annoyingly, github actions can't skip pull request checks and it cannot commit to the main branch due to protection, so we have to MANUALLY accept the changes in. on the bright side, we can check what it's generated in case it's wrong.		2023-12-04 22:35:29 +00:00
..
workflows	ci: notify us when PR is open [skip ci]	2023-12-04 22:35:29 +00:00