CopyBot/Red-DiscordBot
1
0
Fork 0
mirror of https://github.com/Cog-Creators/Red-DiscordBot.git synced 2025-11-06 03:08:55 -05:00
Code Issues Packages Projects Releases Wiki Activity
Red-DiscordBot/.github/workflows/scripts
History
jack1142 53c069a636
Auto-put PRs from release workflows in the proper milestone + minor things (#4862) 
* Make workflow name use TitleCase

* Indicate in the PR description that it's a multi-part workflow

* Auto-put PRs from Prepare Release workflow in the proper milestone

* Rename "Publish the release" workflow to "Publish Release"

* Auto-put PR from Publish Release workflow in the proper milestone
2021-02-27 11:22:54 +01:00
..
bump_version.py
Auto-put PRs from release workflows in the proper milestone + minor things (#4862)
2021-02-27 11:22:54 +01: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