Skip to content

chore(dirmonitor): rename local 'real' to 'realPath' to avoid shadowing builtin#32

Merged
revtex merged 1 commit intodevfrom
chore/dirmonitor-shadow-real
Apr 25, 2026
Merged

chore(dirmonitor): rename local 'real' to 'realPath' to avoid shadowing builtin#32
revtex merged 1 commit intodevfrom
chore/dirmonitor-shadow-real

Conversation

@revtex
Copy link
Copy Markdown
Owner

@revtex revtex commented Apr 25, 2026

Silences revive's redefines-builtin-id warning in the dirmonitor delete-after closure. Pure rename, no behaviour change.

…ng builtin

Silences revive's redefines-builtin-id warning on the inner closure in
the delete-after path. No behaviour change.
@revtex revtex added the skip-changelog PR has no user-visible impact; skip CHANGELOG check label Apr 25, 2026
@revtex revtex merged commit 3c9f3a4 into dev Apr 25, 2026
7 checks passed
@revtex revtex deleted the chore/dirmonitor-shadow-real branch April 25, 2026 21:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog PR has no user-visible impact; skip CHANGELOG check

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant