search

w3c / WebID

https://www.w3.org/groups/cg/webid
MIT License
14 stars 7 forks source link

feat: rename WebID Profile Document to WebID Document #69

Closed jacoscaz closed 3 months ago

jacoscaz commented 5 months ago

This PR addresses the change requested in #20 . While there appears to be a slightly greater consensus in favor of WebID Document over WebID Profile Document, the difference is so small that feedback to this PR might tilt the balance towards the latter and negate the need for a change. Let's see what happens.

This PR does not introduce any breaking change. Setting the deadline for review in two weeks, on 2024-04-01.

Do not bother reviewing the spec/identity/index.html as that's automatically updated by our current CI setup based on the contents of spec/identity/index.bs. We'll sort this out in a separate issue / PR.

Links to the rendered files:

jacoscaz commented 5 months ago

Thank you for reviewing, @TallTed! I'll merge your suggestions tomorrow. I hadn't focused on the small details, yet, as I am unsure as to whether this PR should actually be merged or not. Feedback in #20 is very close, perhaps too close to justify changing the status quo, and I had hoped that opening the PR would have invited more feedback to tilt the balance one way or another.

TallTed commented 5 months ago

I remain on the side of keeping WebID Profile Document. But if the change is made at all, I think it should be applied consistently.

pmcb55 commented 5 months ago

... I had hoped that opening the PR would have invited more feedback to tilt the balance one way or another.

Okey dokey - so I'll just re-iterate my comment from #20 (https://github.com/w3c/WebID/issues/20#issuecomment-2022617258), i.e.: "Strong preference for WebID Document over WebID Profile Document - so +1 to removing Profile."

And yeah, I totally agree with @TallTed's assertion above that the change should be made consistently throughout.