There should be an option to suppress pull-request-quantifier commenting on pull requests.
This is desirable because every time a new commit is pushed the bot will add a comment, which then sends a Github notification to everyone subscribed.
See also: #168.
cc: Dragos Daniel Boia (@DragosDanielBoia)
There should be an option to suppress
pull-request-quantifiercommenting on pull requests.This is desirable because every time a new commit is pushed the bot will add a comment, which then sends a Github notification to everyone subscribed.
See also: #168.
cc: Dragos Daniel Boia (@DragosDanielBoia)