search

rust-lang / highfive

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

also ping us on submodule changes #353

Closed RalfJung closed 3 years ago

RalfJung commented 3 years ago

I keep doing this by hand, but no reason we can't automate this -- assuming highfive handles submodules correctly.

Cc @rust-lang/miri