Skip to content

Comments

Delete BUILD.md#46

Merged
pontemonti merged 1 commit intomainfrom
users/johanb/DeleteBuildMd
Nov 13, 2025
Merged

Delete BUILD.md#46
pontemonti merged 1 commit intomainfrom
users/johanb/DeleteBuildMd

Conversation

@pontemonti
Copy link
Contributor

This seems to be referencing a build-packages.py script that does not appear to be in the repo anymore.

This seems to be referencing a `build-packages.py` script that does not appear to be in the repo anymore.
@pontemonti pontemonti requested a review from a team as a code owner November 13, 2025 05:22
Copilot AI review requested due to automatic review settings November 13, 2025 05:22
Copy link
Contributor

Copilot AI left a comment

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 removes the BUILD.md file that references a non-existent build-packages.py script. The deletion is appropriate as the referenced build script is no longer in the repository, making the documentation obsolete.

Key Changes

  • Removes outdated BUILD.md documentation file (268 lines) that referenced the removed build-packages.py script
Comments suppressed due to low confidence (1)

BUILD.md:1

  • This file deletion will break the documentation link in README.md at line 70, which references [BUILD.md](BUILD.md). The README.md file should be updated to either remove this reference or point to alternative build instructions.

@pontemonti pontemonti merged commit 1ae9427 into main Nov 13, 2025
14 checks passed
@pontemonti pontemonti deleted the users/johanb/DeleteBuildMd branch November 13, 2025 05:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants