Skip to content

[bot] Update shared/vendored - #137

Merged
joverlee521 merged 1 commit into
masterfrom
nextstrain-bot/update-vendored
Aug 3, 2026
Merged

[bot] Update shared/vendored#137
joverlee521 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/30860187924
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:   "5b4c394"
upstream:
  origin:   "https://github.com/nextstrain/shared"
  branch:   "main"
  commit:   "5b4c394"
git-subrepo:
  version:  "0.4.9"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "5e0f401"
@joverlee521
joverlee521 merged commit 9571922 into master Aug 3, 2026
3 checks passed
@joverlee521
joverlee521 deleted the nextstrain-bot/update-vendored branch August 3, 2026 23:08
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