Sebastian Wick 4b2e21e0b6 ci: Get rid of paths-ignore to ensure all PRs can be merged ...

We require jobs to succeed before a PR can be merged. If a PR only
touches files which match `paths-ignore`, the jobs won't run and the PR
can't be merged.

The number of PRs which only touch those files is small, and the extra
CI runs resulting from that can be ignored.

2025-11-03 16:33:21 +01:00

..

ISSUE_TEMPLATE

github: add 'needs triage' by default

2024-02-10 12:06:07 -06:00

workflows

ci: Get rid of paths-ignore to ensure all PRs can be merged

2025-11-03 16:33:21 +01:00

FUNDING.yml

.github: Add Sponsor button

2021-08-02 08:16:47 +02:00