Skip to content

Remove setup_migration_version from flint.toml#18864

Merged
laurit merged 1 commit into
mainfrom
zeitlinger-patch-1
May 28, 2026
Merged

Remove setup_migration_version from flint.toml#18864
laurit merged 1 commit into
mainfrom
zeitlinger-patch-1

Conversation

@zeitlinger
Copy link
Copy Markdown
Member

Removed setup_migration_version setting from flint.toml

Removed setup_migration_version setting from flint.toml
Copilot AI review requested due to automatic review settings May 28, 2026 11:31
@zeitlinger zeitlinger requested a review from a team as a code owner May 28, 2026 11:31
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Removes the obsolete setup_migration_version setting from the Flint configuration.

Changes:

  • Deletes setup_migration_version = 2 from .github/config/flint.toml.

@laurit laurit merged commit 6a3862f into main May 28, 2026
97 checks passed
@laurit laurit deleted the zeitlinger-patch-1 branch May 28, 2026 13:48
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.

3 participants