401c11 Refresh the metadata git repo when adding a notification to an issue/PR

Authored and Committed by Pierre-Yves Chibon 8 years ago
    Refresh the metadata git repo when adding a notification to an issue/PR
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>
    
        
file modified
+4 -0