mirror of
https://github.com/harvard-edge/cs249r_book.git
synced 2026-05-11 08:59:07 -05:00
[PR #1067] [MERGED] [Doc] Hyperlink to non-existing file removed #3727
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/1067
Author: @didier-durand
Created: 12/5/2025
Status: ✅ Merged
Merged: 12/5/2025
Merged by: @profvjreddi
Base:
dev← Head:fix-typos-t📝 Commits (1)
3c28443[Doc] Hyperlink to non-existing file removed📊 Changes
1 file changed (+0 additions, -1 deletions)
View changed files
📝
docs/BUILD.md(+0 -1)📄 Description
Hi,
Removed link to MAINTENANCE_GUIDE.md which seems to have been removed.
Let me if I should replace it by something else: didn't find anything close.
Didier
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.