berzniz / berzniz/github_pr_tree
The tree requires browser refresh to show
- Dominant language
- HTML
- Stars
- 696
- Forks
- 79
- PR merge metrics
- No merged PRs in 30d
Description
* Extensions version: 1.0.37
* Microsoft Edge version 106.0.1370.42 (Official build) (64-bit)
It's been bugging me for some time - the tree almost always requires a page refresh before it appears. Any subsequent action that may require a refresh (like changing to split diff or hide whitespaces) in overwhelming majority of cases leads to the tree disappearing, and that requires an explicit page refresh again...
Here's a quick demo - I'm randomly navigating PRs and the tree is missing unless I refresh.
https://user-images.githubusercontent.com/4403806/196845204-b2a35a9b-55dc-4cdf-8bf1-5e7b10200d09.mp4
I have disabled all other extensions to verify that the issue isn't caused by any other extensions:
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.