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

GitHub Action: Discover typos with codespell #258

Merged
merged 5 commits into from
Jul 13, 2021
Merged

Conversation

cclauss
Copy link
Contributor

@cclauss cclauss commented Jul 13, 2021

https://github.com/codespell-project/codespell used in #257


Checklist:

  • Does this pull request close an issue? We encourage you to open an issue first if this pull request (PR) is not a
    minor change.
    • No
      • The change in this pull request is minor.
    • Yes
      • Close #{issue_number}

For the following questions, only check the boxes that are applicable.

  • Ensure that the pull request text above the horizontal line is descriptive.

  • Add/update relevant tests.

  • Add/update relevant documents.

  • Do you have triage permission of this repository?

    • No
      • You are good.
    • Yes
      • Does this pull request close an issue?
        • No, this pull request also acts as an issue by itself.
          • Assign yourself.
          • Label this pull request.
          • Put a milestone.
          • Put this pull request under "In Progress" or "Under Review" pipeline on ZenHub.
          • Put this pull request under the appropriate epic on ZenHub.
          • Put an estimate on ZenHub.
          • Add dependency relationship with other issues/pull requests on ZenHub.
        • Yes, this pull request addresses an issue and does not act as an issue.
          • Connect this pull request to the underlying issue on ZenHub.
          • DON'T:
            • DON'T assign yourself or anyone else.
            • DON'T label.
            • DON'T put a milestone.
            • DON'T put this pull request under any epic on ZenHub.
            • DON'T put an estimate on ZenHub.
      • When the pull request is ready, request review.

Copy link
Collaborator

@xuhdev xuhdev left a comment

Choose a reason for hiding this comment

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

Could you also exclude .tox dir?

Copy link
Collaborator

@xuhdev xuhdev left a comment

Choose a reason for hiding this comment

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

Thanks!

@xuhdev xuhdev merged commit 7b64295 into CODAIT:master Jul 13, 2021
@cclauss cclauss deleted the patch-2 branch July 14, 2021 05:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants