Small pull requests are easy to review and introduce less risk. GitHub encourages small PRs by making the UI slow AF on large diffs. Good job.

Indeed, I ran into a case of needing pipefail this week.
https://fosstodon.org/@djspiewak/114122499925967098