☰

Github PR review: mark moved files as viewed

Adds an option to the Github PR review page to mark moved files as viewed.

  • v1 2022-11-10