- From: Anssi Kostiainen via GitHub <sysbot+gh@w3.org>
- Date: Tue, 24 Jan 2023 14:40:15 +0000
- To: public-device-apis-log@w3.org
This type of redirect is used widely in https://github.com/w3c/w3c.github.io when repos are renamed. We could improve this and other similar redirects by adding a plain link. With this script-based redirect we redirect links with anchors too which is nice. -- GitHub Notification of comment by anssiko Please view or discuss this issue at https://github.com/w3c/contact-picker/pull/57#issuecomment-1402057463 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 24 January 2023 14:40:17 UTC