974201 When a pushed in made to a branch in a PR, update the PR

Authored and Committed by Pierre-Yves Chibon 5 years ago
    When a pushed in made to a branch in a PR, update the PR
    
    Fixes https://pagure.io/pagure/issue/3684
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr></pingou@pingoured.fr>
    
        
file modified
+3 -0
file modified
+37 -1