On 2023-02-09 22:33, John Labovitz wrote:
> I hope you’re interested in the fixes.
Absolutely! Documentation fixes, even small ones, are very valuable.
> but I reckon a single huge PR is probably not the best way to go.
> Should I do separate PRs, perhaps one for the main docs (in
> documentation/), and then separate PRs for each modified package or
> class?
From your descriptions it sounds like all the changes are documentation
(copy edits, typesetting issues, and possibly formatting etc.). I'd be
fine with all of that being in one PR. If there are any changes to
behavior that will affect other user's usage (e.g. changes to class or
package behavior not limited to their use is the manual) then maybe
those should be split out in a different PR for review.
What I would like to see is somewhat granular commits with different
types of edits or areas being editing split into different commits.
I will note though that I'm happy to help with that process some. I'm
pretty adept with `git revise` and other tooling to re-hash how the
commit history comes together. If you haven't been splitting things up
and commiting as you go feel free to start out with a lump-sum commit
and PR and we can start splitting things out of it from there.
Caleb