Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Lint some tools #3468
Lint a number of tools with enhancements like:
Also some fixes and enhancements for
@bgruening I'd prefer to have the requirement fixes in a separate PR, where we can fix them all at once using the same Perl/Python/whatever version across all these tools. Or when we do the final tool migration...