jack1142 ec26687e9e

Improve release correctness and safety by using GH Environments (#5167) ...

* Improve release safety by using GH Environments

* Exit early when just returning version

2021-06-30 17:24:18 +02:00

..

bump_version.py

Improve release correctness and safety by using GH Environments (#5167)

2021-06-30 17:24:18 +02:00

close_and_reopen_pr.js

Change things up with Crowdin and release-related workflows (#4833)

2021-02-18 14:43:21 +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