Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Use SpotBugs to spot bugs. #1552
We should use SpotBugs to find issues with OSATE code, and if those issues are severe enough, block pull requests that introduce them.
child of #1570