35fe764 Do not notify twice when pushing commits to an open PR

Authored and Committed by pingou 5 years ago
    Do not notify twice when pushing commits to an open PR
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>
    
        
file modified
+16 -14
file modified
+1 -1