Skip to content

fix: do not automatically generate header id in RDF patch generation and fix missing fullstop#3141

Merged
nicholascar merged 7 commits intoRDFLib:mainfrom
recalcitrantsupplant:david/patch_fix
May 31, 2025
Merged

fix: do not automatically generate header id in RDF patch generation and fix missing fullstop#3141
nicholascar merged 7 commits intoRDFLib:mainfrom
recalcitrantsupplant:david/patch_fix

Conversation

@recalcitrantsupplant
Copy link
Contributor

Summary of changes

Fixes a bug in PatchSerializer where the H prev header line missed a trailing period. Also, header_id is now treated as optional; the H id line is only written if header_id is provided, removing the previous default UUID generation. This change is backwards compatible and primarily addresses a formatting issue and refines header generation.

Checklist

  • Checked that there aren't other open pull requests for the same change.
  • Checked that all tests and type checking passes.
  • If the change has a potential impact on users of this project:
    • Added or updated tests that fail without the change.
    • [N/A] Updated relevant documentation to avoid inaccuracies.
  • Considered granting push permissions to the PR branch,
    so maintainers can fix minor issues and keep your PR up to date.

@nicholascar nicholascar merged commit 751cc7c into RDFLib:main May 31, 2025
12 of 17 checks passed
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.

2 participants