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.

Sign up for GitHub

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

Jump to bottom

Document buffrs lint #153

Merged
merged 2 commits into from
Oct 27, 2023
Merged

Document buffrs lint #153

merged 2 commits into from
Oct 27, 2023

Conversation

mara-schulke
Copy link
Contributor

No description provided.

@mara-schulke mara-schulke self-assigned this Oct 27, 2023
@mara-schulke mara-schulke added component::cli Everything related to the buffrs cli priority::high Urgent change or idea, please review quickly docs::book Adding, rewriting or removing chapters from the buffrs book labels Oct 27, 2023
@mara-schulke mara-schulke added this to the Documentation milestone Oct 27, 2023
@mara-schulke mara-schulke merged commit 4facc0d into main Oct 27, 2023
@mara-schulke mara-schulke deleted the mara/docs branch October 27, 2023 05:26
@mara-schulke mara-schulke mentioned this pull request Oct 27, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@mara-schulke mara-schulke

Labels
component::cli Everything related to the buffrs cli docs::book Adding, rewriting or removing chapters from the buffrs book priority::high Urgent change or idea, please review quickly
Projects
Buffrs
Status: Done
Milestone
Documentation
Development

Successfully merging this pull request may close these issues.
1 participant
@mara-schulke