On 6/5/18 3:20 AM, drug wrote:
04.06.2018 21:08, Steven Schveighoffer пишет:
On 6/4/18 1:51 PM, Joakim wrote:
On Monday, 4 June 2018 at 15:52:24 UTC, Steven Schveighoffer wrote:
On 6/2/18 3:23 AM, Mike Parker wrote:
[...]
I like the article, but was taken aback a bit by this quote: "for
example, a PR to fix a bug in a specific piece of code mustn’t also
edit the documentation of that function."
[...]
I think he was talking about _unrelated_ doc changes.
Well, how unrelated? If, for instance, you are changing the docs to
accommodate the new code, and notice a typo, I would be fine with
fixing that, and have even ASKED for that. I guess I need a bigger
clarification, as the way it reads is that we require people split
their doc changes from their code changes, and that simply hasn't been
the case.
But what if your commit with this typo would be reverted? Then you lost
your typo fix too.
Then you fix the typo again? Reverts don't happen enough to justify this
concern.
-Steve