35fe764
Do not notify twice when pushing commits to an open PR Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>