> On 17 Apr 2025, at 10:28, Eric Rescorla <[email protected]> wrote: > > As I said in my original message, I think the focus on GitHub for this change > is a mistake. The actual ask is to separate out content changes from format > changes, which can be done with or without GitHub.
I understand - my point here is that the commit feature of git allows us to add a level of granularity to the edits that then makes it easier to see what is going on, in the current process. Jay -- Jay Daley IETF Executive Director [email protected] _______________________________________________ rfc-interest mailing list -- [email protected] To unsubscribe send an email to [email protected]
