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

chore(docs): fix spelling issues #3039

Merged
merged 5 commits into from
Sep 10, 2024
Merged

chore(docs): fix spelling issues #3039

merged 5 commits into from
Sep 10, 2024

Conversation

dreamorosi
Copy link
Contributor

Summary

Changes

Please provide a summary of what's being changed

This PR fixes a handful spelling mistakes present in the docs & README files of the repository.

I have used this activity to start piloting Vale, a tool that was brought up in the past by some team members and that we could consider adopting in the future.

For now however I am just fixing the issues that were detected, since setting up the tool requires a fair amount of configuration due to us using a significant amount of jargon & industry specific terms and product names.

Please add the issue number below, if no issue is present the PR might get blocked and not be reviewed

Issue number: #3037


By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

Disclaimer: We value your time and bandwidth. As such, any pull requests created on non-triaged issues might not be successful.

@dreamorosi dreamorosi self-assigned this Sep 10, 2024
@dreamorosi dreamorosi requested review from a team as code owners September 10, 2024 10:36
@boring-cyborg boring-cyborg bot added documentation Improvements or additions to documentation internal PRs that introduce changes in governance, tech debt and chores (linting setup, baseline, etc.) labels Sep 10, 2024
@pull-request-size pull-request-size bot added the size/S PR between 10-29 LOC label Sep 10, 2024
Copy link
Contributor

@leandrodamascena leandrodamascena left a comment

Choose a reason for hiding this comment

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

Hey @dreamorosi! Just 2 small fix before merge this PR.

docs/utilities/parser.md Outdated Show resolved Hide resolved
docs/we_made_this.md Outdated Show resolved Hide resolved
dreamorosi and others added 2 commits September 10, 2024 16:14
Co-authored-by: Leandro Damascena <leandro.damascena@gmail.com>
Co-authored-by: Leandro Damascena <leandro.damascena@gmail.com>
Copy link

Copy link
Contributor

@leandrodamascena leandrodamascena left a comment

Choose a reason for hiding this comment

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

APPROVED!

@dreamorosi dreamorosi merged commit 5365440 into main Sep 10, 2024
11 checks passed
@dreamorosi dreamorosi deleted the chore/docs_spelling branch September 10, 2024 14:17
@dreamorosi dreamorosi linked an issue Sep 10, 2024 that may be closed by this pull request
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation internal PRs that introduce changes in governance, tech debt and chores (linting setup, baseline, etc.) size/S PR between 10-29 LOC
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Docs: fix spelling mistakes
3 participants