5f751f Adjust add_pull_request_comment to notify upon new comment

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Adjust add_pull_request_comment to notify upon new comment
    
    Notifications are on by default but can be turned off
    
        
file modified
+4 -1