Skip to content
This repository has been archived by the owner on Feb 3, 2023. It is now read-only.

Add check to avoid duplicate headers for entries #1980

Closed

Conversation

willemolding
Copy link
Collaborator

PR summary

Closes #1979

@zippy zippy deleted the add-check-to-avoid-duplicate-headers-for-entries branch January 3, 2020 22:57
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Headers are added to source chain and published for subsequent commits of the same entry
1 participant