git subrepo pull packages/HighFive

subrepo:
  subdir:   "packages/CLI11"
  merged:   "a05601a96"
upstream:
  origin:   "git@github.com:CLIUtils/CLI11.git"
  branch:   "main"
  commit:   "a05601a96"
git-subrepo:
  version:  "0.4.9"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "30db3b8"