#3902 Do not notify twice when pushing commits to an open PR
Merged by pingou. Opened by pingou.
no_duplicated_notifs  into  master

Download 3902.patch

Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr

:thumbsup:

Thanks :)

Pull-Request has been merged by pingou

Metadata