berzniz / berzniz/github_pr_tree
Disable the File Tree
- Dominant language
- HTML
- Stars
- 696
- Forks
- 79
- PR merge metrics
- No merged PRs in 30d
Description
Thank you for your awesome extension, makes my devex heaps more pleasant. I'm not sure if you aware, but GitHub is currently trialing its own [File Tree feature](https://github.com/github/feedback/discussions/12341):
And the GitHub's feature and your extension are "fighting" (your extension is winning 😄):
I don't want to disable the extension since it offers other UI improvements, but I'd like to be able to permanently disable the File Tree feature in the extension, so that I can use the GitHub's feature.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.