When I was at Facebook, I wrote a Python script to extract shell scripts from GitHub Actions workflows, so we could run them all through ShellCheck: https://git

When I was at Facebook, I wrote a Python script to extract shell scripts from GitHub Actions workflows, so we could run them all through ShellCheck: https://github.com/pytorch/pytorch/blob/69e0bda9996865e319db6afa318c8e27ee38d002/tools/extract_scripts.py https://github.com/pytorch/pytorch/blob/69e0bda9996865e319db...