8399d1 Fix the redirection after creating a pull-request

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Fix the redirection after creating a pull-request
    
    Finally we redirect the user to the list of pull-requests of the repo
    on which the pull-request was made.
    
        
file modified
+10 -2