abcdefg30 70549fce14 Run the CI workflow on PRs targeting prep

2022-12-21 13:28:14 +02:00

..

ISSUE_TEMPLATE

Change the IRC link from Freenode to Libera in the issue template config

2022-08-06 16:12:25 +02:00

workflows

Run the CI workflow on PRs targeting prep

2022-12-21 13:28:14 +02:00

PULL_REQUEST_TEMPLATE.md

Add a link to Discord to the PR template and change Freenode to Libera

2022-08-06 16:12:25 +02:00