This repository has been archived by the owner on May 4, 2024. It is now read-only.
Populate contributors arrays from AUTHORS directories #58
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This pull request adds a new way to populate contributors arrays from the file system.
In pseudocode, current to proposed:
AUTHORS
is a super neat idea, but as an append-only file, it creates merge conflicts when, say, multiple pull requests each add a different new contributor's information to the end of the same AUTHORS file.The Unix-hermit, command-line way to address this is to tell Git to use a different merge strategy:
Such files feel like cruft, and GitHub won't apply them, making pushbutton merges impossible. (See isaacs/github#487.) Apparently folks like pushing the button.
An AUTHORS directory of files containing AUTHORS text solves the problem by adding files to a directory (a set) instead of appending lines to a file (a list). Folks might use their GitHub handles as filenames, for instance, and include comment lines to summarize what they've
contributed.
There are some potentially neat applications, like my own https://github.com/berneout/per-contributor-certificate-test.
Thanks to all!