Skip to content

Conversation

@lagru
Copy link
Member

@lagru lagru commented May 25, 2025

After defaulting to inplace stub creation, I think this check no longer picked up differences. git diff seems to ignore untracked files. This should correct the location of the written stubs.

After defaulting to inplace stub creation, I think this
check no longer picked up differences. `git diff` seems
to ignore untracked files. This should correct the location
of the written stubs.
@lagru lagru added the devops Infrastructure, tooling, ... label May 25, 2025
@lagru lagru merged commit a501579 into main May 25, 2025
7 checks passed
@lagru lagru deleted the lagru-patch-1 branch May 25, 2025 19:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

devops Infrastructure, tooling, ...

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants