Re: sort of new branch: next

[Jim Meyering]

Pádraig Brady <address@hidden> wrote:
>> Or just run "gitk next ^master" from a cloned directory.
>
> Ah ok, that's probably fine.
> I assumed the commits where inconspicuous among the
> other commits and ordered on their original commit dates.
> But I think they will be tagged as "next", and that
> you've only actually pushed the dist-xz change of
> the changes you mentioned.

Oh!  Somehow I had not pushed the other changes to "next".
I've just done that now.
Thanks for the reality check.