[monorepo] re-direct "moved" PRs after merge

[pkra]

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.

• [Monorepo] PR "move" and wrapping up html-aam#549
• [Monorepo] PR "move" and wrapping up accname#238
• [Monorepo] PR "move" and wrapping up core-aam#233

[spectranaut]

Hey Peter, since I opened these PRs, can you approve and merge them all?

PRs to remove specs from old repos:

• Editorial: Move this spec to ARIA monorepo dpub-aria#68
• Editorial: Move this spec to ARIA monorepo dpub-aam#41
• Editorial: Move this spec to ARIA monorepo graphics-aria#12
• Editorial: Move this spec to ARIA monorepo graphics-aam#17
• Editorial: Move this spec to ARIA monorepo svg-aam#35
• Editorial: Move this spec to ARIA monorepo mathml-aam#35

[pkra]

@spectranaut I thought the idea 3 weeks ago was that the editors of each spec handle the respective issue (review the "moved" PRs, decide on the PRs from forks, then merge your PR to "close" the repository).

Is that no longer the plan? If so, after I merge the "closing" PRs, should the old PRs of each spec stay open (then with merge conflicts to a "blank" spec)?

[pkra]

As per discussion today, I get it now. I'll get on it.

[spectranaut]

Ah yeah sorry I missed your previous comment -- the list I have above is the list with somewhat inactive editors. I guess the specs with active editors can land theirs!

[pkra]

All merged.

[pkra]

It seems only html-aam is left before this issue is completed.