Repository navigation

ci: harden assign-prs and remove mirror-changelog - #82

Merged

wangauone merged 2 commits into

mainfrom

fix/remove-pull-request-target

Nov 9, 2026

Merged

ci: harden assign-prs and remove mirror-changelog#82
wangauone merged 2 commits into
mainfrom
fix/remove-pull-request-target

Commits on Nov 9, 2026
- ci: harden assign-prs pull_request_target workflow
  helloeve
  committed
  681f08c
- ci: remove mirror-changelog workflow
  helloeve
  committed
  b0da376