ci: redirect GitHub PRs to Forgejo #158

Merged
barrettruth merged 1 commit from ci/redirect-prs-to-forgejo into main 2026-05-03 15:57:07 +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
All checks were successful
quality / Format (pull_request) Successful in 15s
quality / Test (pull_request) Successful in 37s
quality / Lint (pull_request) Successful in 1m4s
80f136b024
barrettruth deleted branch ci/redirect-prs-to-forgejo 2026-05-03 15:57:07 +00:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
barrettruth/vimdoc-language-server!158
No description provided.