Skip to content

Docs: Update stylelint#2564

Merged
facelessuser merged 2 commits intomainfrom
chore/js-deps
Jan 10, 2025
Merged

Docs: Update stylelint#2564
facelessuser merged 2 commits intomainfrom
chore/js-deps

Conversation

@facelessuser
Copy link
Owner

Finally figured out how to migrate stylelint to esm

Finally figured out how to migrate stylelint to esm
@gir-bot gir-bot added S: needs-review Needs to be reviewed and/or approved. C: infrastructure Related to project infrastructure. labels Jan 10, 2025
@facelessuser
Copy link
Owner Author

@gir-bot lgtm

@gir-bot gir-bot added S: approved The pull request is ready to be merged. and removed S: needs-review Needs to be reviewed and/or approved. labels Jan 10, 2025
@facelessuser facelessuser merged commit c9ef97e into main Jan 10, 2025
15 checks passed
@facelessuser facelessuser deleted the chore/js-deps branch January 10, 2025 18:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C: infrastructure Related to project infrastructure. S: approved The pull request is ready to be merged.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants