search

xenserver / pull-request-manager

A program that continually checks and potentially merges pull requests.
10 stars 3 forks source link

Hugs and Admonitions #2

Closed matthiasgoergens closed 13 years ago

matthiasgoergens commented 13 years ago

It would be useful, if the pull-request manager would give a count of the number of warnings encountered. If the number is lower than in master, it should hug you. Otherwise you get a stern admonition.

rokstrnisa commented 13 years ago

This issue no longer applies, since all warnings are now treated as errors.