aria
aria copied to clipboard
[monorepo] re-direct "moved" PRs after merge
When the monorepo branch is merged into the main branch, we will need to redirect the "moved" PRs pointing to the various monorepo branches to point to the main branch.
- [ ] https://github.com/w3c/html-aam/issues/549
- [x] https://github.com/w3c/accname/issues/238
- [x] https://github.com/w3c/core-aam/issues/233