Open
Description
I was trying to figure out why my PR notifications were not showing up for Padawan PRs then discovered there is a setting "githubPullRequests.notifications"
and that the default is off
.
Why is this off? Is it too noisy for everyday use?
In the Padawan case (async agents) it is useful to get the notification...