Skip to content

.github/update-downstream-repos: Add option to use --force - #82

Merged
victorlin merged 1 commit into
mainfrom
victorlin/update-downstream-repos
Jul 23, 2026
Merged

.github/update-downstream-repos: Add option to use --force#82
victorlin merged 1 commit into
mainfrom
victorlin/update-downstream-repos

Conversation

@victorlin

Copy link
Copy Markdown
Member

Description of proposed changes

It's nice to have this option in case changes accidentally cause the .gitrepo file to fall out of sync (e.g. squash merges).

Effectively reverts ".github/update-downstream-repos: Remove --force flag" (c732fc0).

Related issue(s)

Follow-up to https://github.com/nextstrain/shared/actions/runs/29964918685 which failed because of my squash merges yesterday.

Checklist

  • Checks pass
  • If adding a script, add an entry for it in the README.

It's nice to have this option in case changes accidentally cause the
.gitrepo file to fall out of sync (e.g. squash merges).

Effectively reverts ".github/update-downstream-repos: Remove `--force`
flag" (c732fc0).
@victorlin victorlin self-assigned this Jul 22, 2026
@victorlin
victorlin merged commit 9b91ad2 into main Jul 23, 2026
2 checks passed
@victorlin
victorlin deleted the victorlin/update-downstream-repos branch July 23, 2026 17:38
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