fix(credits): deduplicate contributors by GitHub username and display name

Browse Source

* Scripts: add sync-credits.py to populate maintainers/contributors from git/GitHub

* fix(credits): deduplicate contributors by GitHub username and display name

...

This commit is contained in:

max

2026-02-10 02:04:29 -08:00

committed by GitHub

parent 53fd26a960

commit d2f5d45f08

2 changed files with 340 additions and 21 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

43

docs/reference/credits.md

File diff suppressed because one or more lines are too long