Stefan Beller <sbel...@google.com> writes: > On Mon, Jul 30, 2018 at 1:18 PM Junio C Hamano <gits...@pobox.com> wrote: > >> > 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"? > > Not speaking for Johannes, but I think that *could* work.
I wasn't asking if it could or could not work. I was asking for his intentions. Not knowing it means I cannot merge the topic as-is merged to 'next' and have to wait just in case, but his not knowing my waiting would mean an update version may never come.
