Henrik Rydgård c93f7d2152 Github CI: Use pull_request_target instead of pull_request ...

The idea is that PRs should build on CI even if there are conflicts.

This is useful for hotfix branches like v1.19.3-commits, where I
cherry-pick PRs from master to produce a new release without including
any risky recent changes.

I'm testing it in that branch right now and it seems to work. I'm making
this a separate PR before including in the main branch, so you guys can
warn me in case this is a mistake somehow :)

I showed my changes to ChatGPT and it suggested adding the permissions
clause, not exactly sure why it's more needed now.

Discussion here: https://github.com/orgs/community/discussions/26304

2025-07-14 08:37:01 +02:00

..

ISSUE_TEMPLATE

Replace links to Orphis buildbot with /devbuilds

2024-04-07 21:14:45 +02:00

workflows

Github CI: Use pull_request_target instead of pull_request

2025-07-14 08:37:01 +02:00

dependabot.yml

CI: Enable dependabot for GitHub Actions

2025-06-08 12:52:04 -04:00

issue_template.md

Update issue templates to say "mobile device" instead of "mobile phone"

2023-12-21 10:40:55 +01:00