Better GitHub Co-Authors von delucis

This extension makes it easier to add co-author credit to PRs on GitHub.

It adds an “Add co-authors” button to GitHub’s PR merge UI which automatically collects all participants in the current PR, generates “Co-authored-by” comments for the users, and adds them to the commit message. This means you can credit PR reviewers and commenters in the commit history and not only code contributors.