Add a comment when a PR receives a push

servo / highfive

Github hooks to provide an encouraging atmosphere for new contributors

Mozilla Public License 2.0

254 stars 58 forks source link

Add a comment when a PR receives a push #101

Closed jdm closed 8 years ago

jdm commented 8 years ago

People complain that github doesn't notify when a PR gets new commits and the author doesn't say anything. Let's make highfive add a comment when this happens to make up for it.

Code: handlers/status_update/__init__.py

Mark-Simulacrum commented 8 years ago

Should [probably] be closed since #108 was merged.