repo/linux: update media repos

Per the request from Mauro

On Thu, Nov 21, 2024 at 08:27:31AM +0100, Mauro Carvalho Chehab wrote:
> Recently, we changed our development trees at linuxtv.org. In the past, we
> had https://git.linuxtv.org/media_stage.git and https://git.linuxtv.org/media_tree.git.
>
> Now, we're using:
>
>       https://git.linuxtv.org/media-ci/media-pending.git/
>
> For patches that will go to -next (can be rebased as needed), and:
>
>       https://git.linuxtv.org/media.git
>
> meant to be the stable tree.
>
> On both trees, we have two branches:
>
>       fixes
>       next
>
> Right now, we're keeping media.git mirrored at media_stage/media_tree,
> but we're planning to drop such trees during this kernel cycle.

Signed-off-by: Philip Li <[email protected]>

repo/linux/linuxtv-media

@@ -0,0 +1,4 @@
+url: https://git.linuxtv.org/media.git
+owner: Mauro Carvalho Chehab <[email protected]>
+notify_build_success_branch: .*
+mail_cc: [email protected]

repo/linux/linuxtv-media-stage → repo/linux/linuxtv-media-pending

@@ -1,4 +1,4 @@
-url: https://git.linuxtv.org/media_stage.git
+url: https://git.linuxtv.org/media-ci/media-pending.git
 owner: Mauro Carvalho Chehab <[email protected]>
 notify_build_success_branch: .*
 integration_testing_branches: master