https://drm.pages.freedesktop.org/maintainer-tools/drm-misc.html gives
HTTP 404, and https://drm.pages.freedesktop.org/maintainer-tools/
redirects to freedesktop.org now.
Let's save people the pain of figuring that out.
Signed-off-by: Brian Norris <[email protected]>
---
MAINTAINERS | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/MAINTAINERS b/MAINTAINERS
index 100d7f93a15b..811d8d3e35fb 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -6158,7 +6158,7 @@ M: Maarten Lankhorst <[email protected]>
M: Maxime Ripard <[email protected]>
M: Thomas Zimmermann <[email protected]>
S: Maintained
-W: https://01.org/linuxgraphics/gfx-docs/maintainer-tools/drm-misc.html
+W: https://drm.pages.freedesktop.org/maintainer-tools/drm-misc.html
T: git git://anongit.freedesktop.org/drm/drm-misc
F: Documentation/gpu/
F: drivers/gpu/drm/*
--
2.33.0.1079.g6e70778dc9-goog
On Tue, Oct 19, 2021 at 9:00 PM Brian Norris <[email protected]> wrote:
>
> https://drm.pages.freedesktop.org/maintainer-tools/drm-misc.html gives
> HTTP 404, and https://drm.pages.freedesktop.org/maintainer-tools/
> redirects to freedesktop.org now.
>
> Let's save people the pain of figuring that out.
>
Nice catch!
Reviewed-by: Sean Paul <[email protected]>
(fwiw)
> Signed-off-by: Brian Norris <[email protected]>
> ---
>
> MAINTAINERS | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/MAINTAINERS b/MAINTAINERS
> index 100d7f93a15b..811d8d3e35fb 100644
> --- a/MAINTAINERS
> +++ b/MAINTAINERS
> @@ -6158,7 +6158,7 @@ M: Maarten Lankhorst <[email protected]>
> M: Maxime Ripard <[email protected]>
> M: Thomas Zimmermann <[email protected]>
> S: Maintained
> -W: https://01.org/linuxgraphics/gfx-docs/maintainer-tools/drm-misc.html
> +W: https://drm.pages.freedesktop.org/maintainer-tools/drm-misc.html
> T: git git://anongit.freedesktop.org/drm/drm-misc
> F: Documentation/gpu/
> F: drivers/gpu/drm/*
> --
> 2.33.0.1079.g6e70778dc9-goog
>
On Tue, Oct 19, 2021 at 5:59 PM Brian Norris <[email protected]> wrote:
>
> https://drm.pages.freedesktop.org/maintainer-tools/drm-misc.html gives
> HTTP 404, and https://drm.pages.freedesktop.org/maintainer-tools/
> redirects to freedesktop.org now.
With a dash of irony, I actually listed the wrong URLs in the
description. (I used the properly-redirected ones, and claimed that
they were the broken ones.)
I'll send a v2, so a maintainer doesn't have to fix that up for me.
Brian