Skip to content

IRI Terminology #17

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Mar 14, 2023
Merged

IRI Terminology #17

merged 3 commits into from
Mar 14, 2023

Conversation

gkellogg
Copy link
Member

@gkellogg gkellogg commented Feb 19, 2023

For #15.


Preview | Diff

@afs
Copy link
Contributor

afs commented Feb 20, 2023

Do not suggest in any way that the WG may change core terminology to URL without the WG having agreed to that being said.

@afs
Copy link
Contributor

afs commented Feb 20, 2023

There is no mention of "adopt the pertinent core of RFC3987".

@gkellogg
Copy link
Member Author

Do not suggest in any way that the WG may change core terminology to URL without the WG having agreed to that being said.

In re-creating the PR, this seems to have lost the more neutral text change you previously requested, I'll update.

@gkellogg
Copy link
Member Author

Closing in light of Martin's comment #15 (comment).

Co-authored-by: Andy Seaborne <[email protected]>
@gkellogg gkellogg changed the title Update text on issue 15 (previously folded into issue 4). IRI Terminology Feb 20, 2023
@TallTed TallTed mentioned this pull request Feb 20, 2023
@gkellogg
Copy link
Member Author

@rdfguy, @ktk: in spite of the procedural issues about appropriate work items, I think this PR should be merged, as the existing text is now inappropriate.

Note that this PR simply updates the issue marker to clarify that the open work item is on erratum 29 Terminology about IRIs not on the suitability of using RFC3987.

@afs
Copy link
Contributor

afs commented Mar 14, 2023

Relates to #21.

@gkellogg
Copy link
Member Author

It's worse to leave this PR unmerged than to keep the status quo, so merging.

@gkellogg gkellogg merged commit 1f16ce9 into main Mar 14, 2023
@gkellogg gkellogg deleted the iri-issue-update branch March 14, 2023 20:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants