d9d77c Make the diff_pull_request generate a diff only if desired

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Make the diff_pull_request generate a diff only if desired
    
        
file modified
+11 -7