f41e7e Forward the connection to the redis server to add_pull_request_comment

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Forward the connection to the redis server to add_pull_request_comment
    
        
file modified
+2 -1