Hendrik Liebau 93b58361d9 Trigger Discord notification when draft PR is set to "ready for review" (#32344) ...

Follow-up for #32332. The Discord webhook seems to ignore draft PRs,
which is a good thing. But when a draft PR is then later set to "ready
for review" we do want to send another notification that should not be
filtered out.

2025-02-09 17:55:50 -05:00

..

ISSUE_TEMPLATE

[ez] Update compiler issue template (#31297)

2024-10-18 15:02:26 -04:00

workflows

Trigger Discord notification when draft PR is set to "ready for review" (#32344)

2025-02-09 17:55:50 -05:00

dependabot.yml

[dependabot] Ignore all fixture directories

2024-09-26 10:34:35 -04:00

PULL_REQUEST_TEMPLATE.md

Don't recommend deprecated debugger script (#26171)

2023-02-16 11:11:12 +01:00