5f751f
Adjust add_pull_request_comment to notify upon new comment Notifications are on by default but can be turned off