Get your GitHub pull request through CI and review.
Recent revisions are kept. Restoring one creates a new revision.
