Skip to content

Conversation

@kashev
Copy link

@kashev kashev commented Nov 22, 2025

  • a summary of the change
  • either
    • a link to the issue you are resolving (for small changes)
    • a link to the PR you just created (for big changes likely to have discussion)

@nedtwigg nedtwigg enabled auto-merge November 22, 2025 04:48
@nedtwigg
Copy link
Member

looks great, thanks for the contribution

@nedtwigg
Copy link
Member

looks like you need to run rewriteRun

auto-merge was automatically disabled November 22, 2025 15:54

Head branch was pushed to by a user without write access

@nedtwigg nedtwigg enabled auto-merge November 22, 2025 17:28
@nedtwigg nedtwigg merged commit 7f90d65 into diffplug:main Nov 22, 2025
20 checks passed
@kashev kashev deleted the feat/wildcard-version-for-foreign-exe branch November 23, 2025 03:51
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