Skip to content

Update Documentation#147

Merged
andthum merged 3 commits intomainfrom
docs/update
Feb 13, 2023
Merged

Update Documentation#147
andthum merged 3 commits intomainfrom
docs/update

Conversation

@andthum
Copy link
Owner

@andthum andthum commented Feb 13, 2023

Update Documentation

Type of change

  • Change of core package.
  • Change of scripts.
  • Bug fix.
  • New feature.
  • Code refactoring.
  • Dependency update.
  • Documentation update.
  • Maintenance.
  • Other: Description.
  • Non-breaking (backward-compatible) change.
  • Breaking (non-backward-compatible) change.

PR checklist

  • I followed the guidelines in the Developer's guide.
  • [~] New/changed code is properly tested.
  • New/changed code is properly documented.
  • The CI workflow is passing.

Add a note about the markdownlint pre-commit hook that it requires
markdownlint to be installed on your local machine.
@github-actions github-actions bot added documentation Improvements or additions to documentation patch Change that results in a new patch version labels Feb 13, 2023
@andthum andthum merged commit 3394eeb into main Feb 13, 2023
@andthum andthum deleted the docs/update branch February 13, 2023 18:06
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 patch Change that results in a new patch version

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant