Skip to content

[bot] Update shared/vendored - #374

Merged
victorlin merged 1 commit into
masterfrom
nextstrain-bot/update-vendored
Jul 23, 2026
Merged

[bot] Update shared/vendored#374
victorlin merged 1 commit into
masterfrom
nextstrain-bot/update-vendored

Conversation

@nextstrain-bot

Copy link
Copy Markdown
Contributor

This PR was automatically created by https://github.com/nextstrain/shared/actions/runs/30030263327
to update the vendored subrepo in shared/vendored.

Subrepo changes may break workflows and require manual updates to
fix errors. It is safe to add manual updates directly to this PR
since they will not be overwritten by future automatic updates.

subrepo:
  subdir:   "shared/vendored"
  merged:   "c712173"
upstream:
  origin:   "https://github.com/nextstrain/shared"
  branch:   "main"
  commit:   "9b91ad2"
git-subrepo:
  version:  "0.4.9"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "5e0f401"
@victorlin
victorlin merged commit c6d1477 into master Jul 23, 2026
5 checks passed
@victorlin
victorlin deleted the nextstrain-bot/update-vendored branch July 23, 2026 17:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants