Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: Remove unused build documentation #7960

Merged
merged 2 commits into from
Jan 22, 2025
Merged

Conversation

dyastremsky
Copy link
Contributor

@dyastremsky dyastremsky commented Jan 22, 2025

What does the PR do?

Remove unused build documentation section. It has been under construction for a long time.

Checklist

  • PR title reflects the change and is of format <commit_type>: <Title>
  • Changes are described in the pull request.
  • Related issues are referenced.
  • Populated github labels field
  • Added test plan and verified test passes.
  • Verified that the PR passes existing CI.
  • Verified copyright is correct on all changed files.
  • Added succinct git squash message before merging ref.
  • All template sections are filled out.
  • Optional: Additional screenshots for behavior/output changes with before/after.

Commit Type:

Check the conventional commit type
box here and add the label to the github PR.

  • build
  • ci
  • [ X] docs
  • feat
  • fix
  • perf
  • refactor
  • revert
  • style
  • test

Related PRs:

Where should the reviewer start?

Test plan:

  • CI Pipeline ID:

Caveats:

Background

We have received questions about this section, but there is not a clear path for this documentation. It has existed for a long time in this state, so removing it makes sense to avoid confusion.

Related Issues: (use one of the action keywords Closes / Fixes / Resolves / Relates to)

  • closes GitHub issue: #xxx

This section has been under construction for a long time. Let's remove it.
@dyastremsky dyastremsky added the PR: docs Documentation only changes label Jan 22, 2025
@dyastremsky dyastremsky merged commit 2408167 into main Jan 22, 2025
3 checks passed
@dyastremsky dyastremsky deleted the dyastremsky-jetson branch January 22, 2025 20:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: docs Documentation only changes
Development

Successfully merging this pull request may close these issues.

2 participants