Skip to content

fix docs#9147

Open
pjain1 wants to merge 1 commit intomainfrom
remove_wrong_docs
Open

fix docs#9147
pjain1 wants to merge 1 commit intomainfrom
remove_wrong_docs

Conversation

@pjain1
Copy link
Copy Markdown
Member

@pjain1 pjain1 commented Mar 30, 2026

make docs.generate does not remove pages just adds them so remove older grant-resources cmd docs which got changed to set-resources

Checklist:

  • Covered by tests
  • Ran it and it works as intended
  • Reviewed the diff before requesting a review
  • Checked for unhandled edge cases
  • Linked the issues it closes
  • Checked if the docs need to be updated. If so, create a separate Linear DOCS issue
  • Intend to cherry-pick into the release branch
  • I'm proud of this work!

@pjain1 pjain1 requested a review from begelundmuller March 30, 2026 19:34
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.

1 participant