This website requires JavaScript.
Explore
Help
Register
Sign In
CopyBot
/
Red-DiscordBot
Watch
1
Star
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