navigate thru pull request annotations #3536
staabm posted onGitHub
more and more checks in github actions or github marketplace add annotations to the 'Files Changed' tab. these annotations are rendered inline with the corresponing sources lines when scrolling thru a PR, e.g.
when PRs get long and it only contains a few annotations, its pretty time consuming to scroll thru the whole 'Files changed' tab from top to bottom, to find the actual spots so we can finally fix them.
wouldn't it be great to have a prev/next navigation, like we have in e.g. the merge-conflicts view to navigate the conflicting lines.
the nav I am talking about:
that way one could easily jump tru a PR from top to bottom - from annotation to annotation - and work thru them, without the manual hassle to find them first..