87ba70 Rename the request DB object to pull_request to not conflict with the flask request object

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Rename the request DB object to pull_request to not conflict with the flask request object
    
        
file modified
+1 -1