34cca18
When deleting a comment, refresh the ticket git repo Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>