Red-GitHubBot 5a9881f672 [3.4] Update workflow versions (#5789) (#5958) ...

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

2023-01-06 03:15:08 +01:00

..

bump_version.py

[3.4] Improve release correctness and safety by using GH Environments (#5167) (#5249)

2021-09-08 20:11:13 +02:00

close_and_reopen_pr.js

[3.4] Update workflow versions (#5789) (#5958)

2023-01-06 03:15:08 +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