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

Docs: spelling #19

Closed
wants to merge 4 commits into from
Closed

Docs: spelling #19

wants to merge 4 commits into from

Conversation

lechnerc77
Copy link
Member

Purpose

  • ...

Does this introduce a breaking change?

[ ] Yes
[ ] No

Pull Request Type

What kind of change does this Pull Request introduce?

[ ] Bugfix
[ ] Feature
[ ] Refactoring (no functional changes, no api changes)
[ ] Documentation content changes
[ ] Other... Please describe:

How to Test

  • Test the code via automated test
make test
  • Additional test steps
...

What to Check

Verify that the following are valid:

  • Automated tests are executed successfully
  • ...

Other Information

Checklist for reviewer

The following organizational tasks must be completed before merging this PR:

  • The PR is assigned to the Project board and a status is set (typically "in review").
  • The PR has the matching labels assigned to it.
  • The PR has a milestone assigned to it.
  • If the PR closes an issue, the issue is referenced.
  • Possible follow-up issues are created and linked.

@lechnerc77
Copy link
Member Author

Superseeded by #20

@lechnerc77 lechnerc77 closed this Sep 11, 2024
@lechnerc77 lechnerc77 deleted the docs/spelling branch September 11, 2024 10:06
@lechnerc77 lechnerc77 added documentation Improvements or additions to documentation ignore-for-release All things not to be mentioned in release notes labels Sep 17, 2024
@lechnerc77 lechnerc77 self-assigned this Sep 17, 2024
@lechnerc77 lechnerc77 changed the title Docs/spelling Docs: spelling Sep 17, 2024
@lechnerc77 lechnerc77 added this to the v0.1.0-beta1 milestone Sep 17, 2024
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 ignore-for-release All things not to be mentioned in release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant