Skip to content

Comments

der: remove obsolete lint configs#2235

Merged
tarcieri merged 1 commit intomasterfrom
der/remove-obsolete-lint-config
Feb 13, 2026
Merged

der: remove obsolete lint configs#2235
tarcieri merged 1 commit intomasterfrom
der/remove-obsolete-lint-config

Conversation

@tarcieri
Copy link
Member

These were moved to the workspace-level in #2231

These were moved to the workspace-level in #2231
@tarcieri tarcieri merged commit 3a39d5e into master Feb 13, 2026
117 checks passed
@tarcieri tarcieri deleted the der/remove-obsolete-lint-config branch February 13, 2026 16:54
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.

1 participant