Skip to content

renovate: rename updateTypes field#2359

Merged
marcoieni merged 1 commit into
mainfrom
renovate-rename-updatetypes-field
Mar 31, 2026
Merged

renovate: rename updateTypes field#2359
marcoieni merged 1 commit into
mainfrom
renovate-rename-updatetypes-field

Conversation

@marcoieni
Copy link
Copy Markdown
Member

Renovate renamed this field.
I manually triggered the renovate migration PR and renovate opened #2358

However that PR changes too much and removes the comments, so I opened this PR instead.

@github-actions
Copy link
Copy Markdown

Dry-run check results

[WARN  rust_team::sync] sync-team is running in dry mode, no changes will be applied.
[INFO  rust_team::sync] synchronizing crates-io
[INFO  rust_team::sync] synchronizing github

tgross35 pushed a commit to rust-lang/compiler-builtins that referenced this pull request Mar 30, 2026
@marcoieni marcoieni added this pull request to the merge queue Mar 31, 2026
Merged via the queue into main with commit 2beb179 Mar 31, 2026
3 checks passed
folkertdev pushed a commit to folkertdev/rust that referenced this pull request Apr 22, 2026
@marcoieni marcoieni deleted the renovate-rename-updatetypes-field branch April 22, 2026 16:14
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