Skip to content

ci: remove unused Combine PRs workflow - #114

Open
addshore wants to merge 1 commit into
wbstack:mainfrom
addshore:ci-remove-combine-prs
Open

addshore wants to merge 1 commit into
wbstack:mainfrom
addshore:ci-remove-combine-prs

Conversation

@addshore

Copy link
Copy Markdown
Collaborator

The latest successful use I could find was 1 September 2021 (PR #31).
GitHub Actions currently shows no retained runs for this workflow.

Currently “Combine PRs” uses an obsolete API call: github.pulls.create; the installed actions/github-script@v5 requires github.rest.pulls.create. This would fail at PR creation.

“Only combine green PRs” accepts PRs with no checks.

So probably just better to nuke it.

Same cleanup as wbstack/api#1306.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant