Logo
Explore Help
Register Sign In
CopyBot/Red-DiscordBot
1
0
Fork 0
You've already forked Red-DiscordBot
mirror of https://github.com/Cog-Creators/Red-DiscordBot.git synced 2025-12-10 19:32:32 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
90406be9ea6c3e6ecb14a768b34a7e9f0d7bb5d8
Red-DiscordBot/.github/workflows/scripts
History
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
Powered by Gitea Version: 1.25.2+6-g45cdc5d8fd Page: 56ms Template: 2ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API