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

some fixes to the wordlist #105

Merged
merged 1 commit into from
Sep 26, 2023
Merged

some fixes to the wordlist #105

merged 1 commit into from
Sep 26, 2023

Conversation

ru-fu
Copy link
Contributor

@ru-fu ru-fu commented Sep 22, 2023

No description provided.

Signed-off-by: Ruth Fuchss <[email protected]>
Copy link
Contributor

@ColmBhandal ColmBhandal left a comment

Choose a reason for hiding this comment

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

If you're happy with "readthedoc" vs. "Readthedocs" (capital "R") then LGTM

@ru-fu
Copy link
Contributor Author

ru-fu commented Sep 25, 2023

If you're happy with "readthedoc" vs. "Readthedocs" (capital "R") then LGTM

Where would you ever need "Readthedocs"? The name of the website is "Read the Docs".

@ColmBhandal
Copy link
Contributor

ColmBhandal commented Sep 25, 2023

readthedoc

@ru-fu In that case, it makes me wonder then where you'd need readthedocs, outside of code formatting?

@ru-fu
Copy link
Contributor Author

ru-fu commented Sep 26, 2023

@ru-fu In that case, it makes me wonder then where you'd need readthedocs, outside of code formatting?

You don't. That's why I'm removing it from the wordlist.

@ColmBhandal
Copy link
Contributor

@ru-fu In that case, it makes me wonder then where you'd need readthedocs, outside of code formatting?

You don't. That's why I'm removing it from the wordlist.

Oh gosh - I just realised that I read the diff for that entry backwards (while reading the others correctly somehow). LGTM in that case!

@ru-fu ru-fu merged commit c6e7d16 into canonical:main Sep 26, 2023
3 checks passed
@ru-fu ru-fu deleted the wordlist-fixes branch September 26, 2023 15:54
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