w3c / png

Maintenance of the PNG specification
https://w3c.github.io/png/
Other
44 stars 11 forks source link

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

Closed hober closed 2 months ago

hober commented 4 months ago

though I suppose that could be easily confused with w3c/ping, sigh.

ProgramMax commented 4 months ago

GitHub does allow renaming repos, I think. I'm okay either way. Someone who knows what W3C is will immediately understand "/png" is the spec. So "/PNG-spec" is redundant to them. But to someone who doesn't know, "/png" might be assumed as some decoder with lots of intricate docs. To them, I think "/PNG-spec" is more useful.

I think overall I prefer "/PNG-spec" (or all lower case). But I'm okay with a change if people want.

plehegar commented 2 months ago

note that we renamed the w3c/w3process. GitHub will take care of redirect except for github.io. For those, use the repo w3c.github.io.

annevk commented 2 months ago

FWIW, I agree that this rename makes sense and I'm not too worried about confusion with PING. At least I haven't seen anyone make that mistake.

Consistency is another reason to do this. Nothing else has "-spec" as a suffix.

ProgramMax commented 2 months ago

Sounds good. I'll look into renaming it w3c/png.

ProgramMax commented 2 months ago

I am unable to rename the repo. I believe a W3C member must do it.

svgeesus commented 2 months ago

okay, it is w3c/png now