Priority
Destillierte Giraffe
Please note that this exension is absolutely bare bones right now. More features and customizability will be added in the future. This extension adds a new button to the GitHub PR overview: "Priority" This directs you to the list of requested reviews, but hides all PRs from the user "dependabot".
