Small spelling/grammar/typo fixes #3497
Replies: 3 comments 3 replies
-
|
I would not change other peoples Github comments. |
Beta Was this translation helpful? Give feedback.
-
|
See Holger. Please do not change other people's comments. There are also better ways to spend oneselves time anyway. |
Beta Was this translation helpful? Give feedback.
-
|
It does not take much time, when I have the page open already. They do not require any time thinking, either, because if I had to think about it, then it means the meaning is not 100% obvious and thus I should not edit it. |
Beta Was this translation helpful? Give feedback.
-
|
@smichel17 I still don't see much benefit even for obvious typos in issues as such. Now, if it was something that could be made clearer in the code or documentation, then yes, it should be fixed, but for the one-time comment which is trivially readable, not only is it not worth it, but it is IMHO often counterproductive (because other people would then click on the edit history to see what changed, and we don't even have "minor" edit distinction on GitHub which could be hidden (like one has Mediawiki for example)... IMHO, if it is trivially understandable typo, it should be left borken as it is. And if it is not trivially understandable, then then the author should be asked for clarification instead. Also note that (having a pressure of) knowing there is grammar police breathing down one's neck is usually not enjoyable experience, either 😄. It might even be considered rude by some people (esp. depending on cultural differences)... |
Beta Was this translation helpful? Give feedback.
-
|
Fair enough (although the intention is to improve readability while avoiding bothering people about fixing trivial mistakes — more "reliable autocorrect" than grammar police). |
Beta Was this translation helpful? Give feedback.
-
|
The same, if I keep making some typo/mistake feel free to let me know - using email is fine (people let me know about whatever/whether and nowadays I think I am better with it). I would reserve editing for cases like
|
Beta Was this translation helpful? Give feedback.
-
Many folks here are not native speakers, and infrequently-but-regularly make minor spelling/grammar mistakes or typos. For example, @westnordost sometimes typos is as ist (probably from muscle memory— it's the same word in German, his native language).
Occasionally, I have just gone ahead and edited your comments to fix these— only when I'm ~100% certain that I am not changing your intent or the phrasing (ie. your "voice"). For example (which prompted me to write this), I changing #3495 (comment) to "Sounds useful". So, it's not a big deal one way or another, but I figure I should still ask: Would you like me to continue doing this in the future?
Beta Was this translation helpful? Give feedback.
All reactions