CopyBot/Red-DiscordBot
1
0
Fork 0
mirror of https://github.com/Cog-Creators/Red-DiscordBot.git synced 2025-12-07 09:52:30 -05:00
Code Issues Packages Projects Releases Wiki Activity

[3.4] Update workflow versions (#5789) (#5958)

Browse Source 
Co-authored-by: Flame442 <34169552+Flame442@users.noreply.github.com>
Co-authored-by: jack1142 <6032823+jack1142@users.noreply.github.com>
This commit is contained in:
Red-GitHubBot
2023-01-06 03:15:08 +01:00
committed by GitHub
parent 5f6ecf4ea1
commit 5a9881f672
9 changed files with 34 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/scripts/close_and_reopen_pr.js vendored
View File

@@ -13,7 +13,7 @@ module.exports = (async function ({github, context}) {
if (sleep_time)
await new Promise(r => setTimeout(r, sleep_time));
github.issues.update({
github.rest.issues.update({
issue_number: pr_number,
owner: context.repo.owner,
repo: context.repo.repo,