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.