Closed ddabble closed 1 year ago
Merging without approval, as these changes have already been tested fairly thoroughly in a since-deleted repo, and because there are currently no other people in the Dev committee who have experience with writing GitHub Actions workflows 😅
Proposed changes
Added GitHub Actions workflows for automatically adding issues and PRs to the repo's project and setting adequate "Status" and "Date posted" values.
Areas to review closely
None in particular, as these workflows have already been tested in a since-deleted repo.
Checklist
(If any of the points are not relevant, mark them as checked)