Skip to content

delete source control page from docs #8605

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.

Sign up for GitHub

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

Jump to bottom
Merged
TyDunn merged 1 commit into from
Nov 6, 2025
Merged

delete source control page from docs #8605

TyDunn merged 1 commit into from
Nov 6, 2025

Conversation

@TyDunn
Copy link
Contributor

@TyDunn TyDunn commented Nov 5, 2025 •
edited by cubic-dev-ai bot
Loading

Summary by cubic

Removed the Source Control page from the docs (docs/hub/source-control.mdx) to retire outdated guidance and keep the hub documentation concise.

Written for commit 07d51c2. Summary will update automatically on new commits.

@TyDunn TyDunn requested a review from BekahHW November 5, 2025 22:51
@TyDunn TyDunn requested a review from a team as a code owner November 5, 2025 22:51
@TyDunn TyDunn requested review from Patrick-Erichsen and removed request for a team November 5, 2025 22:51
@dosubot dosubot bot added the size:M This PR changes 30-99 lines, ignoring generated files. label Nov 5, 2025
@github-actions
Copy link

github-actions bot commented Nov 5, 2025

⚠️ PR Title Format

Your PR title doesn't follow the conventional commit format, but this won't block your PR from being merged. We recommend using this format for better project organization.

Expected Format:

<type>[optional scope]: <description>

Examples:

  • feat: add changelog generation support
  • fix: resolve login redirect issue
  • docs: update README with new instructions
  • chore: update dependencies

Valid Types:

feat, fix, docs, style, refactor, perf, test, build, ci, chore, revert

This helps with:

  • 📝 Automatic changelog generation
  • 🚀 Automated semantic versioning
  • 📊 Better project history tracking

This is a non-blocking warning - your PR can still be merged without fixing this.

@github-actions
Copy link

github-actions bot commented Nov 5, 2025 •
edited
Loading

✅ Review Complete

Review for PR #8605: delete source control page from docs

The PR simply removes an outdated documentation file. This is a straightforward deletion with no functional code changes.

✅ No Issues Found

This change:

  • Removes outdated guidance about source control workflows for Continue Hub
  • Has no impact on functionality since it's only documentation
  • Doesn't affect any code or configuration
  • Doesn't introduce security risks or breaking changes

Verification Needed

Before merging, verify:

  1. Check for broken links - Ensure no other documentation pages link to /hub/source-control or reference this page
  2. Navigation/sidebar updates - If this page appears in any navigation menus or sidebars (e.g., docs/mint.json or similar), remove those references

Run this to check for references:

grep -r "source-control" docs/ --include="*.mdx" --include="*.json" --include="*.md"

The deletion itself is clean and appropriate for retiring outdated content.

cubic-dev-ai[bot]
cubic-dev-ai bot reviewed Nov 5, 2025
View reviewed changes
Copy link
Contributor

@cubic-dev-ai cubic-dev-ai bot left a comment

Choose a reason for hiding this comment

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

No issues found across 1 file

@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Nov 5, 2025
@github-project-automation github-project-automation bot moved this from Todo to In Progress in Issues and PRs Nov 5, 2025
@TyDunn TyDunn merged commit 3fa7e7f into main Nov 6, 2025
62 checks passed
@TyDunn TyDunn deleted the remove-sc-docs branch November 6, 2025 17:43
@github-project-automation github-project-automation bot moved this from In Progress to Done in Issues and PRs Nov 6, 2025
@github-actions github-actions bot locked and limited conversation to collaborators Nov 6, 2025
@github-actions github-actions bot added the tier 3 Smaller feature that improves an existing, less exciting user flow label Nov 6, 2025
@sestinj
Copy link
Contributor

sestinj commented Nov 7, 2025

🎉 This PR is included in version 1.32.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

@sestinj
Copy link
Contributor

sestinj commented Nov 18, 2025

🎉 This PR is included in version 1.29.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

@sestinj
Copy link
Contributor

sestinj commented Nov 19, 2025

🎉 This PR is included in version 1.5.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

@sestinj
Copy link
Contributor

sestinj commented Nov 20, 2025

🎉 This PR is included in version 1.6.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@cubic-dev-ai cubic-dev-ai[bot] cubic-dev-ai[bot] left review comments

@BekahHW BekahHW BekahHW approved these changes

@Patrick-Erichsen Patrick-Erichsen Awaiting requested review from Patrick-Erichsen Patrick-Erichsen is a code owner automatically assigned from continuedev/continue-code-reviewers

Assignees

No one assigned

Labels

lgtm This PR has been approved by a maintainer released size:M This PR changes 30-99 lines, ignoring generated files. tier 3 Smaller feature that improves an existing, less exciting user flow

Projects

Issues and PRs
Status: Done

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@TyDunn @sestinj @BekahHW