34cca1 When deleting a comment, refresh the ticket git repo

Authored and Committed by Pierre-Yves Chibon 7 years ago
    When deleting a comment, refresh the ticket git repo
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr></pingou@pingoured.fr>
    
        
file modified
+4 -0