Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
new value 'all' for 'show_desktop_notifications' #1305
I'd like us to reuse existing config settings whenever possible.
So instead of having a new option, I suggest we re-use show-desktop-notifications for this.
It can then have the following values:
This would be a backwards compatible way of adding your desired feature without adding a new config option.