It would be great to have the ability to ignore a PR directly from the PR overview.
Currently, to ignore a PR, I need to navigate to "Manage Extension" -> "Preferences," and then extract the owner, repository name, and PR in the specified format.
It would be ideal to include a button for this functionality:
It would be great to have the ability to ignore a PR directly from the PR overview.
Currently, to ignore a PR, I need to navigate to "Manage Extension" -> "Preferences," and then extract the owner, repository name, and PR in the specified format.
It would be ideal to include a button for this functionality: