Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

use truly-sane-lists plugin #324

Merged
merged 3 commits into from
Feb 16, 2024
Merged

use truly-sane-lists plugin #324

merged 3 commits into from
Feb 16, 2024

Conversation

pmeier
Copy link
Member

@pmeier pmeier commented Feb 15, 2024

Alternative to #323. We add a dev dependency, but I think that is worth it to avoid a lot of extra whitespace by increasing the tab width.

@pmeier pmeier added area: documentation 📖 Improvements or additions to documentation type: maintenance 🛠️ Day-to-day maintenance tasks labels Feb 15, 2024
docs/index.md Outdated Show resolved Hide resolved
Copy link
Member

@pavithraes pavithraes left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@pmeier - Thanks, I prefer this one too. The PR looks good, I'll approve so we can revert the testing commit and merge. :)

@pmeier pmeier merged commit eccbdf3 into main Feb 16, 2024
9 of 11 checks passed
@pmeier pmeier deleted the sane-lists branch February 16, 2024 11:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area: documentation 📖 Improvements or additions to documentation pr-status: changes requested 🧱 type: maintenance 🛠️ Day-to-day maintenance tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants