From 13ee59d20b5ead30210fb1504151c71e782b99bb Mon Sep 17 00:00:00 2001 From: Andrew Steinborn Date: Fri, 22 Jan 2021 19:49:38 -0500 Subject: [PATCH] Update CONTRIBUTING.md --- CONTRIBUTING.md | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index e44a7026d..c650ff3af 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -28,9 +28,6 @@ sure that you are properly adhering to the code style. To reduce bugs and ensure code quality, we run the following tools on all commits and pull requests: -* [Checker Framework](https://checkerframework.org/): an enhancement to Java's type - system that is designed to help catch bugs. Velocity runs the _Nullness Checker_ - and the _Optional Checker_. The build will fail if Checker Framework notices an - issue. +* [Error Prone](https://errorprone.info/) * [Checkstyle](http://checkstyle.sourceforge.net/): ensures that your code is - correctly formatted. The build will fail if Checkstyle detects a problem. \ No newline at end of file + correctly formatted. The build will fail if Checkstyle detects a problem.