tsantalis
Enable "mark as read"
GitHub PRs:
With "Viewed", one can mark a diff as viewed - and then its collapsed.
At http://127.0.0.1:6789/singleView, there is no such button:
Thus, when reviewing a large PR, I cannot focus on the important things changed.
OK, it would be even better if tags could be added to a diff. And that I can then filter the view according to diffs. Reason: A large PR can touch multiple semantic changes - and I sometimes one needs to do a deep dive into one - and not into all at once.
Triggered by https://github.com/JabRef/jabref/pull/14252
@koppor The information regarding whether the file is viewed is not available in the GitHub API.
This is what Gemini says:
The GitHub API currently does not provide a direct endpoint to programmatically mark a file as "viewed" within a pull request, nor does it provide a way to retrieve the "viewed" status of individual files. The "mark files as viewed" feature, introduced in 2019, is primarily a UI-driven functionality within the GitHub web interface to help users track their progress during pull request reviews. While the GitHub API allows for extensive interaction with pull requests, including retrieving pull request details, comments, reviews, and managing review requests, the specific functionality of marking files as viewed is not exposed through the public API. Discussions on GitHub's community forums and issue trackers confirm this limitation, with users requesting this feature for various automation and integration purposes. Therefore, if the goal is to interact with the "viewed" status of files within a pull request, it must be done manually through the GitHub web interface.
I didn't mean to use the GitHub API, but that RefactoringMiner offers a simlar functionality (using its own UI and its own backend). Maybe, it would suffice to store this information in the browser - and accept that itis lost on reload maybe.
@koppor I found the following that might be helpful https://docs.github.com/en/graphql/reference/mutations#markfileasviewed https://docs.github.com/en/graphql/reference/mutations#unmarkfileasviewed
but I am not so familiar with the GitHub GraphQL APIs.