On Wed, Apr 16, 2025 at 3:34 PM Jay Daley <exec-direc...@ietf.org> wrote:
> > 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. > Yes, of course, but my concern here is that the desire to have this kind of fine granulity not get in the way of having the kind of coarse granularity described above, which provides most of the value. -Ekr
_______________________________________________ rfc-interest mailing list -- rfc-interest@rfc-editor.org To unsubscribe send an email to rfc-interest-le...@rfc-editor.org
