Update on GitHub pull requests

[MaskRay]

@rnk

To give an update on the Oct 1 deadline, we haven’t found the time to disable the diff upload functionality. I made a test differential, D159552, to confirm. It turns out that the last differential before mine, D159551, was uploaded at the end of September. So, I guess I’ll take that as a sign that everyone is working together to support the migration, and express my thanks for that.

I have disabled new revision creation. I have tested that updating an existing differential (arc diff 'HEAD^' ) still works.

Reviews.llvm.org read-only mode

New differential creation is now disabled. I have tested that updating an existing differential (arc diff 'HEAD^') still works. % arc diff 'HEAD^' Launching editor "nvim"... Provide the details for a new revision, then save and exit. Linting... No paths are lintable. Running unit tests... No unit test engine is configured for this project. SKIP STAGING No staging area is configured for this repository. Exception ERR-CONDUIT-CORE: <differential.revision.edit> New revision creation is disabled…

Disabling differential updating can be achieved by editing neighbor lines in src/applications/differential/editor/DifferentialRevisionEditEngine.php.

Perhaps importing new commits from github can be postponed when the site eventually becomes read-only? Otherwise we lose connections from main branch commits to referenced differentials.
Current Login says Fetch Refs: refs/heads/*, refs/tags/*.

We can adjust archive · branch/default · mercurial / phab-archive · GitLab to mirror reviews.llvm.org/Dxxxxx pages. The tool processes HTML pages. /rxxxxx pages will probably be lost.