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-11-06 03:08:55 -05:00
Code Issues Packages Projects Releases Wiki Activity
Red-DiscordBot/.github/workflows/scripts
History
Jakub Kuczys 3abf4cac05
Use backtracking resolver in pip-compile (#6184)
2023-06-12 19:08:27 +02: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
Use backtracking resolver in pip-compile (#6184)
2023-06-12 19:08:27 +02: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
Powered by Gitea Version: 1.23.7+24-gcccd54999a Page: 49ms 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