809585 – new subdomain pms.gentoo.org should point to https://projects.gentoo.org/pms/

Bug 809585 - new subdomain pms.gentoo.org should point to https://projects.gentoo.org/pms/

Summary: new subdomain pms.gentoo.org should point to https://projects.gentoo.org/pms/

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Infrastructure
Classification:	Unclassified
Component:	Other web server issues (show other bugs)
Hardware:	All Linux

Importance:	Normal enhancement
Assignee:	Gentoo Infrastructure

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2021-08-22 13:20 UTC by Jonas Stein
Modified:	2024-05-08 14:12 UTC (History)
CC List:	4 users (show)

See Also:	931586
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Jonas Stein gentoo-dev

2021-08-22 13:20:10 UTC

PMS is one of the most important documents. It would be good to have a shortlink, which is easy to remember.

https://pms.gentoo.org/ -> https://projects.gentoo.org/pms/

Comment 1 Ulrich Müller gentoo-dev

2021-08-27 12:16:09 UTC

I second this.

Comment 2 Alec Warner (RETIRED) archtester

2022-01-24 23:20:16 UTC

(In reply to Ulrich Müller from comment #1)
> I second this.

Best I can do is:
pms.gentoo.org => www.gentoo.org => software redirect to projects.gentoo.org/pms

Similar to other redirects we have like "glep.gentoo.org" that goes to www => then to wiki.

-A

Comment 3 Ulrich Müller gentoo-dev

2022-01-25 07:19:06 UTC

(In reply to Alec Warner from comment #2)
> Best I can do is:
> pms.gentoo.org => www.gentoo.org => software redirect to
> projects.gentoo.org/pms
> 
> Similar to other redirects we have like "glep.gentoo.org" that goes to www
> => then to wiki.

Sounds good.

Comment 4 Robin Johnson archtester

2024-05-01 17:50:54 UTC

Done; give puppet time to catch up