Prevent merge when PR title states "do not merge"

servo / highfive

Github hooks to provide an encouraging atmosphere for new contributors

Mozilla Public License 2.0

254 stars 58 forks source link

Closed nox closed 7 years ago

jdm commented 7 years ago

This is probably beyond the power of highfive; I'm not really sure how to stop homu from merging in that case.