[PR #1067] [MERGED] [Doc] Hyperlink to non-existing file removed #3727

Closed
opened 2026-04-16 01:55:38 -05:00 by GiteaMirror · 0 comments
Owner

📋 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: devHead: 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.

## 📋 Pull Request Information **Original PR:** https://github.com/harvard-edge/cs249r_book/pull/1067 **Author:** [@didier-durand](https://github.com/didier-durand) **Created:** 12/5/2025 **Status:** ✅ Merged **Merged:** 12/5/2025 **Merged by:** [@profvjreddi](https://github.com/profvjreddi) **Base:** `dev` ← **Head:** `fix-typos-t` --- ### 📝 Commits (1) - [`3c28443`](https://github.com/harvard-edge/cs249r_book/commit/3c284438ee4dd707fa0a8898696e6fe429e8c19e) [Doc] Hyperlink to non-existing file removed ### 📊 Changes **1 file changed** (+0 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `docs/BUILD.md` (+0 -1) </details> ### 📄 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 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
GiteaMirror added the pull-request label 2026-04-16 01:55:38 -05:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/cs249r_book#3727