search

w3c / geolocation

W3C Geolocation API
https://www.w3.org/TR/geolocation/
81 stars 56 forks source link

repo name nit: it'd be nice if this were simply w3c/geolocation #154

Closed hober closed 3 months ago

marcoscaceres commented 4 months ago

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

himorin commented 4 months ago

https://docs.github.com/en/repositories/creating-and-managing-repositories/renaming-a-repository I suppose renaming and adding new as the same repo name (for ghpages redirect html) will kill all auto-redirects (of issues, etc.)... no?

marcoscaceres commented 4 months ago

It should address all the issues, yes.

marcoscaceres commented 4 months ago

we would need to add it to: https://github.com/w3c/w3c.github.io

@himorin, could you do it for us? 🙏

marcoscaceres commented 4 months ago

We should probably rename the spec to just "Geolocation" too, while we are at it.

marcoscaceres commented 3 months ago

Sent PR https://github.com/w3c/w3c.github.io/pull/124

himorin commented 3 months ago

added missing ones https://github.com/w3c/w3c.github.io/pull/125