One of my answers was recently edited, fixing a typo (great) and also changing the style of the comments. IMO the new style is neither more readable nor does it add anything else, so I rolled back the edit and reapplied the typo fixes myself. Then I noticed that the edit comment included a reference to a "Jon Skeet Decree" as a reasoning for the change:
Made compliant with the Jon Skeet Decree - https://twitter.com/PeterMortensen/status/976400000942034944
The Twitter post links to an SO podcast where apparently Jon Skeet said he wants comments to have a leading space and start with a capital letter. Now, regardless of if you think that is a good idea or not (I personally think it's not applicable for comments that are not full sentences), I would assume the "Decree" mentioned on the podcast page is an attempt at humour and not a rule that must be followed. Thus it seems to fall under personal preference, and AFAIK edits should only apply fixes and should not be used to change code style to one's own preference. Thus, questions:
- Is my assumption correct that the "decree" is not an agreed-upon rule?
- Is it OK to edit one code style to another if this does not result in a significant increase in readability?
- If the answer to question 2 is yes, is it OK for me to roll back such an edit if I think the new style makes the post worse?
Here's an example of one comment before and after editing - before:
result = [0] * len(l1) * 2 #create result list of required size
After:
result = [0] * len(l1) * 2 # Create result list of required size
#
and a period.
at the end of the comment would be necessary. Please stand by as I go on an edit spree in your answers. I'm sure everything will end up just fine.#
is (very slightly) harmful as now the#
sticks out and feels like an operator.specific-edit
so please don't add that tag. The specific edit was added as an example, but the main focus of the question is the general case (see the numbered questions in the middle).