Re: [geolocation-api] repo name nit: it'd be nice if this were simply w3c/geolocation (#154) from Marcos Cáceres via GitHub on 2024-05-19 (public-geolocation@w3.org from May 2024)

From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
Date: Sun, 19 May 2024 11:18:49 +0000
To: public-geolocation@w3.org
Message-ID: <issue_comment.created-2119198340-1716117527-sysbot+gh@w3.org>

Agree. I’ll rename it and set up some redirects. 

-- 
GitHub Notification of comment by marcoscaceres
Please view or discuss this issue at https://github.com/w3c/geolocation-api/issues/154#issuecomment-2119198340 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Sunday, 19 May 2024 11:18:50 UTC