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

Authored and Committed by pingou 6 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>
    
        
file modified
+3 -0
file modified
+37 -1