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.

Sign up for GitHub

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

Jump to bottom

Draft: add missing periods and linter rule to detect them #42

Draft

kukimik wants to merge 1 commit into dhall-lang:master from kukimik:periods

+5 −1

Collaborator

kukimik commented Jan 30, 2024

Despite

awesome-dhall/CONTRIBUTING.md

Line 9 in 3b6e4e9

    
           * Add the link: `- [project-name](http://example.com/) - A short description ends with a period.`

and a58b70e some periods are missing.


          Linter: detect missing periods

1dbea32

kukimik marked this pull request as draft

January 30, 2024 21:12

Collaborator Author

kukimik commented Jan 30, 2024

Oh, looks like the rule isn't available by default. Will get back to it later.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet