search

rust-lang / highfive

Github hooks to provide an encouraging atmosphere for new contributors
Apache License 2.0
185 stars 128 forks source link

Ping CraftSpider on changes to rustdoc-json-types #331

Closed jyn514 closed 3 years ago

jyn514 commented 3 years ago

@CraftSpider graciously volunteered :) but the main point of this is to have extra attention called to the fact that it's changing, since almost any change is a breaking change.

cc @adotinthevoid @heroickatora let me know if you want to be pinged automatically - I'll try to remember to ping you on any major changes even if you don't sign up :)

aDotInTheVoid commented 3 years ago

I'd love to me pinged for this. You should also probably remind them to change format_version as well

HeroicKatora commented 3 years ago

@jyn514 I don't mind being pinged manually but as long as the version changes, I don't think an automatic ping is necessary.