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

Set Google.Spacing NO in .vale.ini #5027

Merged
merged 2 commits into from
Oct 6, 2023
Merged

Conversation

tkoyama010
Copy link
Member

Overview

To skip the error like following.

{"message": "[Google.Spacing] 'a.M' should have one space.", "location": {"path": "doc/source/api/plotting/index.rst", "range": {"start": {"line": 52, "column": 52}}}, "severity": "ERROR"}

Details

  • None

@github-actions github-actions bot added the maintenance Low-impact maintenance activity label Oct 6, 2023
@tkoyama010
Copy link
Member Author

LGTM

@tkoyama010 tkoyama010 enabled auto-merge (squash) October 6, 2023 01:18
@codecov
Copy link

codecov bot commented Oct 6, 2023

Codecov Report

Merging #5027 (56f788b) into main (252c2a4) will not change coverage.
Report is 2 commits behind head on main.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #5027   +/-   ##
=======================================
  Coverage   95.99%   95.99%           
=======================================
  Files         131      131           
  Lines       21629    21629           
=======================================
  Hits        20763    20763           
  Misses        866      866           

@tkoyama010 tkoyama010 added the documentation Anything related to the documentation/website label Oct 6, 2023
Copy link
Contributor

@pyvista-bot pyvista-bot left a comment

Choose a reason for hiding this comment

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

✅ Approving this PR because tkoyama010 said so in here 😬

@github-actions
Copy link
Contributor

github-actions bot commented Oct 6, 2023

@github-actions github-actions bot temporarily deployed to pull request October 6, 2023 02:28 Inactive
@tkoyama010 tkoyama010 merged commit 34e5b14 into main Oct 6, 2023
27 checks passed
@tkoyama010 tkoyama010 deleted the maint/add-google-spacing branch October 6, 2023 02:46
tkoyama010 added a commit that referenced this pull request Oct 6, 2023
@tkoyama010 tkoyama010 mentioned this pull request Oct 6, 2023
5 tasks
tkoyama010 added a commit that referenced this pull request Oct 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Anything related to the documentation/website maintenance Low-impact maintenance activity
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants