Add a new Github workflow that runs every week / month, runs [./scripts/update_pinned_dependencies.sh](), commits any updates, and makes a PR about it.
Add a new Github workflow that runs every week / month, runs ./scripts/update_pinned_dependencies.sh, commits any updates, and makes a PR about it.