Merge pull request #340 from nextstrain/nextstrain-bot/update-vendored

[bot] Update shared/vendored

Author: victorlin

shared/vendored/.github/workflows/update-downstream-repos.yaml

@@ -5,6 +5,12 @@ on:
     branches:
       - main
   workflow_dispatch:
+    inputs:
+      force:
+        description: 'Pass --force to git subrepo pull'
+        type: boolean
+        required: false
+        default: false
 
 concurrency:
   group: ${{ github.workflow }}
@@ -106,7 +112,7 @@ jobs:
             git switch -c "$branch"
           fi
 
-          git subrepo pull "$VENDORED_PATH"
+          git subrepo pull "$VENDORED_PATH" ${{ inputs.force && '--force' || '' }}
 
           # Check for changes to determine if we need to create/update PRs
           changes=$(git rev-list --count "$parent".."$branch")
@@ -124,6 +130,8 @@ jobs:
             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.
+
+            ${{ inputs.force && 'Subrepo updates were made with the `--force` flag so it overwrites any local changes in the subrepo.' || '' }}
         run: |
           if [[ "$changes" == "1" ]]; then
             git push origin HEAD

shared/vendored/.gitrepo

@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/nextstrain/shared
 	branch = main
-	commit = f70385349d2ad89ad65f474cb03b44fccd75d093
+	commit = 9b91ad2885963b5596ef80f78db12c1f1f7577b7
 	parent = f1fc8b9f6a1e05d4163f1f18f2a3cd716f59edbd
 	method = merge
 	cmdver = 0.4.9