mirror of
https://github.com/harvard-edge/cs249r_book.git
synced 2026-05-07 02:03:55 -05:00
[PR #1125] [MERGED] Add per-project All Contributors setup #8901
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/harvard-edge/cs249r_book/pull/1125
Author: @profvjreddi
Created: 1/20/2026
Status: ✅ Merged
Merged: 1/22/2026
Merged by: @profvjreddi
Base:
dev← Head:feature/all-contributors-setup📝 Commits (4)
149d945Add per-project All Contributors setupb8ee62dAdd contributor scanning script0430c85Populate contributors from git history8f740b8Add all book contributors from main config📊 Changes
12 files changed (+2046 additions, -2 deletions)
View changed files
➕
.github/workflows/contributors/generate_readme_tables.py(+165 -0)➕
.github/workflows/contributors/scan_contributors.py(+465 -0)➕
book/.all-contributorsrc(+955 -0)📝
book/README.md(+157 -0)📝
book/docs/CONTRIBUTING.md(+29 -0)➕
kits/.all-contributorsrc(+31 -0)📝
kits/README.md(+27 -0)➕
labs/.all-contributorsrc(+28 -0)📝
labs/README.md(+27 -0)➕
tinytorch/.all-contributorsrc(+97 -0)📝
tinytorch/CONTRIBUTING.md(+32 -0)📝
tinytorch/README.md(+33 -2)📄 Description
Summary
Sets up separate contributor tracking for each sub-project in the repo, allowing project-specific recognition.
Changes
New config files
book/.all-contributorsrc- Book content contributors (103 contributors migrated from main config)kits/.all-contributorsrc- Hardware kit contributorslabs/.all-contributorsrc- Lab exercise contributorstinytorch/.all-contributorsrc- Framework contributorsScripts added
scan_contributors.py- Scans git history to find contributors per projectgenerate_readme_tables.py- Generates README tables from config filesREADME updates
Each project now has a Contributors section with:
Project-specific contribution types
Contributors added
How to use
After merging a PR or resolving an issue, comment:
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.