Update CONTRIBUTING.md

Ashrilys · Jan 23, 2021 · a2a799a · a2a799a
1 parent 13ee59d
commit a2a799a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -28,6 +28,7 @@ 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:
 
-* [Error Prone](https://errorprone.info/)
+* [SpotBugs](https://spotbugs.github.io/): ensures that common errors do not
+  get into the codebase. The build will fail if SpotBugs finds an issue.
 * [Checkstyle](http://checkstyle.sourceforge.net/): ensures that your code is
   correctly formatted. The build will fail if Checkstyle detects a problem.