lint_po regression: does not skip files in ./tmp/ anymore
Originally created by @intrigeri on #16864 (Redmine)
The shell version of check_po
rightfully skipped files under ./tmp/
(find -wholename ./tmp -prune
). This is useful because some
developers, in particular release managers, have PO files in there that
we don’t want to check. The new Python version has lost this property.
No big emergency but it would be sweet if that was fixed before next time we go through our release process (which typically triggers this problem).
Feature Branch: tails:bugfix/16864-improve-lint_po, jenkins-tools:bugfix/16864-improve-lint_po