1 results
Adds an "Add co-authors" button to the GitHub merge box that credits PR participants, using your own GitHub authentication.
