Consider not commenting about new commits if the last comment was made by highfive

servo / highfive

Github hooks to provide an encouraging atmosphere for new contributors

Mozilla Public License 2.0

253 stars 58 forks source link

Consider not commenting about new commits if the last comment was made by highfive #123

Open emilio opened 8 years ago

emilio commented 8 years ago

I feel bad for spamming people when pushing little fixups :-)

The worst case, that could be a needed rebase, is addressed by bors comment about the bitrot.

jdm commented 8 years ago

This would be nice, but I suspect it would incur an extra API request to check the comments each time there's a push. I'm pretty sure we're already hitting the upper limit during really active periods :(