Skip to content

Add an error message on misspellings of main_file - #1638

Merged
mergify[bot] merged 1 commit into
masterfrom
fd/misspellings
Nov 23, 2021
Merged

Add an error message on misspellings of main_file#1638
mergify[bot] merged 1 commit into
masterfrom
fd/misspellings

Conversation

@facundominguez

Copy link
Copy Markdown
Member

Fixes #1637

@aherrmann aherrmann left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Thank you!

@aherrmann aherrmann added the merge-queue merge on green CI label Nov 23, 2021
@mergify
mergify Bot merged commit 455d9e6 into master Nov 23, 2021
@mergify
mergify Bot deleted the fd/misspellings branch November 23, 2021 13:37
@mergify mergify Bot removed the merge-queue merge on green CI label Nov 23, 2021
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.

Mispellings in main_file aren't caught

2 participants