How to Add Python Duplicate-Code Detection to GitHub Actions

Duplicate code is easiest to deal with before it becomes part of the codebase. That makes duplicate-code detection a natural CI check: run the same rules on every pull request, give developers a way t