Jakub Kuczys 6c32ff58e4 Revamp of automatically applied PR labels (#5954) ...

Co-authored-by: Jakub Kuczys <6032823+jack1142@users.noreply.github.com>

2023-02-12 23:34:00 +01:00

..

bump_version.py

Stop using deprecated set-output GH Actions command (#5876)

2022-11-11 15:12:54 +01:00

check_label_pattern_exhaustiveness.py

Revamp of automatically applied PR labels (#5954)

2023-02-12 23:34:00 +01:00

close_and_reopen_pr.js

Update workflow versions (#5789)

2022-06-27 17:16:11 +02:00

compile_requirements.py

Modernize packaging-related things in Red (#5924)

2022-12-09 18:50:37 +01:00

get_milestone_number_by_exact_title.js

Auto-put PRs from release workflows in the proper milestone + minor things (#4862)

2021-02-27 11:22:54 +01:00

merge_requirements.py

Modernize packaging-related things in Red (#5924)

2022-12-09 18:50:37 +01:00