/src/tools/clippy/.github/

• ../
• ISSUE_TEMPLATE
• PULL_REQUEST_TEMPLATE.md
• deploy.sh
• driver.sh
• workflows