This webpage (about reviewing mathlib pull requests) has moved to mathlib's webpage. If you are not redirected automatically, follow this link to the pull request review guide.