diff --git a/README.md b/README.md index acda007..2d3ef67 100644 --- a/README.md +++ b/README.md @@ -371,6 +371,7 @@ Set up your GitHub Actions workflow with a specific version of your programming - [Annotate a GitHub Pull Request Based on a Checkstyle XML-Report](https://github.com/staabm/annotate-pull-request-from-checkstyle) - [Pull Request Stats](https://github.com/flowwer-dev/pull-request-stats) - Print relevant stats about reviewers. - [Pull Request Description Enforcer](https://github.com/derkinderfietsen/pr-description-enforcer) - Enforces description on pull requests. +- [Catch Performance Regressions in Pull Requests](https://github.com/bencherdev/bencher) ### GitHub Pages diff --git a/contributing.md b/contributing.md index 9cc8c97..30a861a 100644 --- a/contributing.md +++ b/contributing.md @@ -17,7 +17,7 @@ Please ensure your pull request adheres to the following guidelines: - Please submit your contribution at the end of the list of the relevant category. If you don't find a section that it belongs in, please make one. - Please don't use a long description. The description should not wrap to 3 lines, ideally it should fit on one. -- Search previous suggestions before making a new one, as yours may be a duplicate. +- Search previous suggestions before making a new one, as yours may be a duplicate. - Please don't use bold or italics unless it's somehow appropriate to the link. - Make sure the list is useful before submitting. That implies it has enough content and every item has a good succinct description. - Make an individual pull request for each suggestion.