mirror of
https://github.com/harvard-edge/cs249r_book.git
synced 2026-05-06 17:49:07 -05:00
[GH-ISSUE #1390] chore: delete merged and closed branches from fork to keep repo clean #5742
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?
Originally created by @Shashank-Tripathi-07 on GitHub (Apr 17, 2026).
Original GitHub issue: https://github.com/harvard-edge/cs249r_book/issues/1390
Summary
Several branches on this repo are now stale. Their PRs have either been merged into
devor closed. These can be safely deleted to keep the branch list clean.Branches safe to delete
Merged into
devfix/lab01-prediction-widget-chainfix/tokenization-dummy-model-numpy-paramstest/training-module-coveragetest/autograd-gradient-correctnessfix/issue-1334-trainer-requires-gradfix/tinytorch-export-path-mismatchfix/labs-missing-exports-v3Closed without merge
fix/add-mlsysim-wasm-wheelfix/labs-missing-exportsBranch to keep
fix/lab05-wasm-silent-hang-1388: PR #1389 still openHow to clean up
@profvjreddi commented on GitHub (Apr 17, 2026):
All 9 branches listed here have already been deleted from the remote. Verified via
git ls-remoteand the GitHub API — none exist on origin. Closing as completed.