- From: himorin / Atsushi Shimono via GitHub <sysbot+gh@w3.org>
- Date: Mon, 20 May 2024 01:13:09 +0000
- To: public-device-apis-log@w3.org
https://docs.github.com/en/repositories/creating-and-managing-repositories/renaming-a-repository I suppose renaming and adding new as the same repo name will kill all auto-redirects (of issues, etc.)... no? -- GitHub Notification of comment by himorin Please view or discuss this issue at https://github.com/w3c/geolocation-api/issues/154#issuecomment-2119499304 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 20 May 2024 01:13:10 UTC