refactor: more idiomatic syntax for if h:
#5113
copyright-header.yml
on: pull_request
check-lean-files
16s
if h:
#5113