Johannes Schindelin <johannes.schinde...@gmx.de> writes: > On Sun, 22 Jul 2018, Eric Sunshine wrote: > >> On Sat, Jul 21, 2018 at 6:05 PM Thomas Rast via GitGitGadget >> <gitgitgad...@gmail.com> wrote: >> > These are essentially lifted from https://github.com/trast/tbdiff, with >> > light touch-ups to account for the command now being names `git >> >> s/names/named/ > > Thanks. > > I already pushed an update to https://github.com/gitgitgadget/git/pull/1.
Should I take "pushed to ... GGG" to mean "do not merge what you have to 'next' yet, as there will be an updated series (not incremental) being prepared"?
