feat(web): pull request files can be marked as viewed - #7721

Merged

maria-rcks merged 96 commits into

pingdotgg:mainfrom

TrogonStack:yordis/feat-pr-files-viewed-upstream

Sep 17, 2026

Commits on Aug 20, 2026

feat(web): pull request files can be marked as viewed
yordis
committed
d2d5bba
fix(server): an overpriced write guess no longer pauses reads until the window resets
yordis
committed
cf5ac4c
fix(web): a failed press no longer takes back a tick the reader made since
yordis
committed
e62d906
fix(web): a viewed tick redraws its file, and a partial count says that it is partial
yordis
committed
19a679c
style: plainer punctuation in the viewed files comments
yordis
committed
447fd19
fix(web): pressing the word beside the box no longer folds the file the wrong way
yordis
committed
d085d08
fix(server): a write no longer guesses at a budget only the host can count
yordis
committed
4891bcd
fix(web): a failed request no longer answers for a press a later one carries
yordis
committed
dad689d
fix(web): a viewed tick no longer rebuilds every header on screen
yordis
committed
9628643
fix(web): the viewed box says what it is for out loud
yordis
committed
6b44e51

Commits on Aug 27, 2026

Merge upstream main into yordis/feat-pr-files-viewed-upstream
yordis
committed
28eea17

Commits on Aug 28, 2026

fix(web): a refreshed review re-asks for the ticks
yordis
committed
aa7a828
fix(web): a superseded write no longer reports a failure
yordis
committed
5f08047
fix(web): a dropped connection no longer reports a rejected write
yordis
committed
3c279bf

Commits on Aug 30, 2026

Commits on Aug 31, 2026

Commits on Sep 3, 2026

Commits on Sep 7, 2026

Commits on Sep 9, 2026

Commits on Sep 11, 2026

Commits on Sep 12, 2026

Commits on Sep 14, 2026

Commits on Sep 16, 2026

Commits on Sep 17, 2026