Skip to content

Remove incrementals repository - #738

Merged
uhafner merged 2 commits into
mainfrom
incrementals-repo
Aug 9, 2026
Merged

Remove incrementals repository#738
uhafner merged 2 commits into
mainfrom
incrementals-repo

Conversation

@uhafner

@uhafner uhafner commented Aug 9, 2026

Copy link
Copy Markdown
Member

Also remove incrementals repository, otherwise Renovate updates wrong versions.

@uhafner uhafner added the internal Internal changes without user or API impact label Aug 9, 2026
@uhafner uhafner changed the title Incrementals repo Remove incrementals repository Aug 9, 2026
@uhafner
uhafner merged commit 1c4f827 into main Aug 9, 2026
33 checks passed
@uhafner
uhafner deleted the incrementals-repo branch August 9, 2026 21:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal Internal changes without user or API impact

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant