> On 17 Apr 2025, at 10:28, Eric Rescorla <e...@rtfm.com> 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 exec-direc...@ietf.org _______________________________________________ rfc-interest mailing list -- rfc-interest@rfc-editor.org To unsubscribe send an email to rfc-interest-le...@rfc-editor.org
