Skip to content

Comments

Remove docs site#410

Merged
msaroufim merged 1 commit intomainfrom
remove-docs
Feb 1, 2026
Merged

Remove docs site#410
msaroufim merged 1 commit intomainfrom
remove-docs

Conversation

@msaroufim
Copy link
Member

The documentation site is not useful - all needed site content is in kernelboard.

The documentation site is not useful - all needed site content is in kernelboard.
Copilot AI review requested due to automatic review settings February 1, 2026 07:56
@github-actions
Copy link

github-actions bot commented Feb 1, 2026

Coverage report

This PR does not seem to contain any modification to coverable code.

@msaroufim msaroufim merged commit 70d7493 into main Feb 1, 2026
8 of 9 checks passed
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 pull request completely removes the Docusaurus-based documentation site from the repository. According to the PR description, "all needed site content is in kernelboard," though this alternative location could not be verified within the current codebase.

Changes:

  • Complete removal of the docs/ directory containing a Docusaurus site
  • Deletion of comprehensive documentation including getting started guides, submission tutorials, leaderboard creation guides, and Discord command references
  • Removal of static assets including images, videos, and HTML leaderboard displays

Reviewed changes

Copilot reviewed 31 out of 54 changed files in this pull request and generated no comments.

Show a summary per file
File Description
docs/package.json Removes Docusaurus dependencies and build scripts
docs/docusaurus.config.ts Removes site configuration (was deployed at /discord-cluster-manager/)
docs/src/pages/index.tsx Removes interactive leaderboard display page with React components
docs/docs/intro.md Removes introduction and "Getting Started" documentation
docs/docs/submitting-your-first-kernel/* Removes detailed tutorials for Python and CUDA kernel submissions
docs/docs/creating-a-leaderboard/* Removes guides for creating Python and CUDA leaderboards
docs/docs/available-discord-commands.md Removes comprehensive Discord command reference
docs/docs/active.md Removes active leaderboard descriptions and metadata
docs/static/leaderboard/table.html Removes HTML leaderboard display (last updated 2025-02-20)
All other docs files Removes supporting files, images, CSS, components, and configuration
Comments suppressed due to low confidence (1)

docs/README.md:1

  • The PR description states that "all needed site content is in kernelboard," but there is no evidence of "kernelboard" in the codebase. This raises concerns about whether the documentation content has been properly migrated elsewhere before deletion. The docs site contains extensive documentation including:
  1. Getting started guides
  2. Submission tutorials for Python and CUDA kernels
  3. Leaderboard creation guides
  4. Discord command references
  5. Active leaderboard descriptions

Before removing this documentation site, please verify that:

  • All documentation content has been migrated to the alternative location
  • External links to this documentation site (if any exist) have been updated
  • Users have an alternative way to access this information

If "kernelboard" refers to an external site or a different repository, please provide a link or reference to confirm the content migration.


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

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