Konstantin, thanks for mentioning that. Unfortunately I've asked a question here first and mail server didn't let me send a link to this thread.
Jeff, thanks, that's super exciting. I will check it out. Is it best to continue discussion here as this thread has all relevant context? On Thursday, November 30, 2017 at 7:54:46 AM UTC-8, [email protected] wrote: > > > This question was cross-posted on the main git mailing list. > > For completeness with the git-users mailing list here. > The following describes info on the work-in-progress for this feature. > *https://public-inbox.org/git/[email protected]/* > > <https://public-inbox.org/git/[email protected]/> > > > -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
