Repository UI - 1

github: Refreshed repository pull requests page in public preview

GitHub is previewing a refreshed repository-level pull request listing page for all users. The update adds stronger filtering and a compact presentation mode.