4b80772
Add an option to notify on flags being added to a pull-request Relates to #2947 Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>