Skip to content

Migrate issue and PR GitHub actions from develop - #10712

Open
ashovlin wants to merge 1 commit into
v2from
shovlia/v2-actions-from-v1
Open

ashovlin wants to merge 1 commit into
v2from
shovlia/v2-actions-from-v1

Conversation

@ashovlin

@ashovlin ashovlin commented Oct 1, 2026 •

Copy link
Copy Markdown
Member

Issue #, if available: #10709

Description of changes: After changing the default branch from develop to v2, this moves the GitHub actions that interact with issues and PRs from develop. PR #10711 removes them from develop.

  • closed-issue-message was replaced entirely by closed-issue-update
  • stale_community_prs - was already in place, but develop had slightly different permissions

In the removal PR #10711, but not here:

  • doc-pr-cherry-pick - we no longer need copy from develop to v2
  • handle-stale-discussions - already here
  • stale_issue - already here

A few actions on v2 could use dependency updates, but will put them in a separate PR.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

This branch has not been deployed

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant