tree 04fc54aa2541567a0258f219f79b93a6400e9e5e
parent 3d9731439a09f97748dc8ff1bd852dc21550dfdd
author Geoffrey Martin-Noble <gcmn@google.com> 1643160489 -0800
committer GitHub <noreply@github.com> 1643160489 -0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJh8KOpCRBK7hj4Ov3rIwAA2pUIAI4tJ00X8M9O0upHGO4rnYJS
 /anXge0ChGTJAQg3vak1/5Mkb+0sNEuTQg3B5nXRapoEufPm4NSf3HCdcCosf4xt
 zsQ9tp9kVXkpOo/GqyNgy2UUQCpP3n8hB0wcS0Pp4fPa4fVbNCYwVBZZLGEyZ0nm
 wmoVhW3jzq4VQzXYslVx/5QNV5B45R7ww+VASirebGu4GwLRiQJTLn5Qq4jc1DMF
 i99jCNhPLSHsdOW63e34KcXxPNp1wPUCsLqU6e8f3Z/QFfNX672/hNMopTAu4vxv
 Kz0qDIPxnIeqOOq5CKKnX1E1SOYtLWbh+pwA3gblKhckfeLaV3/aF/kAZECLdmM=
 =U3z5
 -----END PGP SIGNATURE-----
 

Make a few improvements to linting (#8184)

Use our own script for the yamllint check. This allows us to only
look at modified files and run it locally as part of lint.sh

Made some misc cleanups to the other bash scripts along the way, like
making check_tabs.sh not hang forever if there are no modified files
(grep gets passed an empty list of files and then sits there waiting
for input).