f61d0a Update the pull-request in git if we change it in the DB

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Update the pull-request in git if we change it in the DB
    
        
file modified
+3 -0