Messages in this thread | | | Date | Mon, 16 Oct 2017 22:20:30 -0700 | From | Mauro Carvalho Chehab <> | Subject | Re: [GIT PULL for v4.14-rc6] media fixes |
| |
Hi Linus,
Em Mon, 16 Oct 2017 20:15:33 -0400 Linus Torvalds <torvalds@linux-foundation.org> escreveu:
> On Mon, Oct 16, 2017 at 4:31 PM, Mauro Carvalho Chehab > <mchehab@infradead.org> wrote: > > > > git://git.kernel.org/pub/scm/linux/kernel/git/mchehab/linux-media media/v4.14-2 > > No such tag. > > Did you forget to push out? The latest tag I see is v4.14-1.
Yes, I forgot to push, sorry[1]!
I just pushed it manually. You should now be able to see the media/v4.14-2 tag there on my tree.
[1] Actually, my scripts were supposed to push it. I'm out of town for two weeks (this week in US, next week in EU), so, I'm handling it from my notebook, instead of using my usual machine. Maybe some setup differences caused a flaw to it, or maybe the local copy of the script is outdated. I'll double-check tomorrow to be sure that, if I need to do another push before returning home, everything would be just fine.
> I do see the branch (v4l_for_linus) that contains the commit you > mention, but no tag..
Yep, the branch is identical to what's referenced by the tag.
Thanks, Mauro [unhandled content-type:application/pgp-signature] | |