ci: redirect GitHub PRs to Forgejo #17

Merged
barrettruth merged 1 commit from ci/redirect-prs-to-forgejo into main 2026-05-03 15:57:23 +00:00
Owner

Summary

  • add the GitHub-only PR redirect workflow under .github/workflows
  • comment on opened/reopened GitHub mirror PRs and close them with a Forgejo link

Verification

  • verified the branch tracks exactly .github/workflows/redirect-pr-to-forgejo.yaml under .github
## Summary - add the GitHub-only PR redirect workflow under `.github/workflows` - comment on opened/reopened GitHub mirror PRs and close them with a Forgejo link ## Verification - verified the branch tracks exactly `.github/workflows/redirect-pr-to-forgejo.yaml` under `.github`
ci: redirect GitHub PRs to Forgejo
Some checks failed
quality / Lint (pull_request) Successful in 6s
quality / Format (pull_request) Failing after 8s
1eb76a6b90
barrettruth deleted branch ci/redirect-prs-to-forgejo 2026-05-03 15:57:23 +00:00
Sign in to join this conversation.
No description provided.