Avi Kivity bef015da0d Revert ".github/scripts/auto-backport.py: validate backport candidate with Fixes prefix" ...

This reverts commit 8414cd743e. It prevents
pulling pull requests that do have "Fixes" references.

2024-11-18 12:29:22 +02:00

..

auto-backport.py

Revert ".github/scripts/auto-backport.py: validate backport candidate with Fixes prefix"

2024-11-18 12:29:22 +02:00

label_promoted_commits.py

./github/scripts/label_promoted_commits.py: fix search for closes prefix on merge PRs

2024-11-12 13:56:37 +02:00

sync_labels.py

github: sync_labels: do not error out if PR's cover letter is empty

2024-04-01 18:13:22 +03:00