Skip to content

docs: add CONTRIBUTORS.md - #157

Merged
Zongwei9888 merged 1 commit into
mainfrom
docs/contributors
Aug 6, 2026
Merged

docs: add CONTRIBUTORS.md#157
Zongwei9888 merged 1 commit into
mainfrom
docs/contributors

Conversation

@Zongwei9888

Copy link
Copy Markdown
Collaborator

Description

Adds a CONTRIBUTORS.md recognising everyone who has contributed to DeepCode.

The GitHub contributors graph only counts commits that reached main. That leaves out two groups the project actually owes credit to:

  • contributors whose pull request targeted nanobot/ or new_ui/ — trees the v2.0 refactor removed, so their branch can no longer merge as-is
  • contributors who identified a real problem that was fixed independently before their branch could land

Both are recorded here alongside the code contributors.

Structure

  • Maintainers
  • Code contributors — people with commits on main
  • Pull request authors — all 17 people who have opened a PR, with links

Note

The file also documents the Co-authored-by: convention for when a maintainer ports a contribution rather than merging the branch directly — including the requirement that the address be one registered with the author GitHub account, which is what makes the graph credit them.

Entries for @Osamaali313 and @raymondginger2018-sudo under Code contributors assume #156 lands first.

The contributors graph only counts commits that reached main, which leaves out
everyone whose pull request targeted a tree the v2.0 refactor has since removed,
and everyone whose finding was fixed independently before their branch could
land. This file records them.

Also documents the Co-authored-by convention used when a maintainer ports a
contribution rather than merging the branch directly, so the graph still
credits the original author.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@Zongwei9888
Zongwei9888 merged commit 2e52923 into main Aug 6, 2026
14 checks passed
@Zongwei9888
Zongwei9888 deleted the docs/contributors branch August 6, 2026 16:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant