When you see https://github.com/rust-highfive comment on a PR you can visit the user profile page to get more information, but https://github.com/rust-lang/highfive is not mentioned anywhere. It would be beneficial to link the repo somewhere so that it is easier to discover.
When you see https://github.com/rust-highfive comment on a PR you can visit the user profile page to get more information, but https://github.com/rust-lang/highfive is not mentioned anywhere. It would be beneficial to link the repo somewhere so that it is easier to discover.