Skip to content

docs/INTERNALS.md -> docs/DEPENDENCIES.md - #22430

Closed
bagder wants to merge 2 commits into
masterfrom
bagder/mv-internals
Closed

docs/INTERNALS.md -> docs/DEPENDENCIES.md#22430
bagder wants to merge 2 commits into
masterfrom
bagder/mv-internals

Conversation

@bagder

@bagder bagder commented Jul 29, 2026

Copy link
Copy Markdown
Member

With some minor cleanups

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR renames/reframes the former internal documentation file to focus on dependency minimum versions, and updates the docs distribution list accordingly.

Changes:

  • Add docs/DEPENDENCIES.md to EXTRA_DIST and remove docs/INTERNALS.md from the docs distribution list.
  • Update the document header/intro to reflect “curl dependencies” and remove the “Library Symbols” section.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File Description
docs/Makefile.am Updates the EXTRA_DIST docs list to include DEPENDENCIES.md and drop INTERNALS.md.
docs/DEPENDENCIES.md Renames/rewords the document to be dependency-focused and removes internals/symbol guidance text.
Comments suppressed due to low confidence (1)

docs/DEPENDENCIES.md:76

  • The “Library Symbols” guidance was removed from the end of this document, and a repo-wide search no longer finds that convention documented anywhere else. If the intent is to move internals guidance out of this file, please relocate that section into docs/internals/ (or another contributor doc) rather than dropping it entirely.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread docs/Makefile.am
@github-actions github-actions Bot added the CI Continuous Integration label Jul 29, 2026
@bagder bagder closed this in 172c16b Jul 29, 2026
@bagder
bagder deleted the bagder/mv-internals branch July 29, 2026 12:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous Integration documentation

Development

Successfully merging this pull request may close these issues.

2 participants