Page History

...

The commands to perform the migration are as follows:

# Make svn read only

# Confirm all commits have replicated to git

# Turn off the svn / git mirror

...

Need to confirm what this is with infra

PRs in github repos

PRs in apache/tomcat will be unaffected.

There are currently 3 open PRs against the other repos.

Solution 1: Close them and ask the OP to make a new PR against apache/tomcat if the issue is still a concern

Old github repos

Solution 1: Make them read-only

Review board

Solution 1: Fully remove Tomncat from reviewboard

Developer process

Solution 1: Document options (multiple clones, git worktree, etc.) or better strill find an on-line reference.

Update docs

Solution 1: Update post migration and include in next release

Solution 2: As 1 but publish immediately.

Update website

Solution 1: Update svn.html post migration (any maybe rename)