Skip to content
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

Allow setting custom GUID in feeds (fixes #2378) #2379

Closed
wants to merge 1 commit into from

Conversation

@julianbrost
Copy link
Contributor

@julianbrost julianbrost commented Jun 18, 2016

No description provided.

@da2x
Copy link
Contributor

@da2x da2x commented Jun 18, 2016

RFC 4287 section-4.2.6: “[the ID value] MUST be an IRI”. Use the permalink if value not an IRI, and print a warning about not using it.

@Kwpolska
Copy link
Member

@Kwpolska Kwpolska commented Jun 19, 2016

👎

@Kwpolska
Copy link
Member

@Kwpolska Kwpolska commented Jul 13, 2016

The consensus seems to be to reject this idea. I’ll close this.

@Kwpolska Kwpolska closed this Jul 13, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants