Skip to content

chore: remove dev docs#253

Merged
jhchabran merged 1 commit intomainfrom
jh/remove-dev-docs
Apr 11, 2024
Merged

chore: remove dev docs#253
jhchabran merged 1 commit intomainfrom
jh/remove-dev-docs

Conversation

@jhchabran
Copy link
Contributor

@jhchabran jhchabran commented Apr 11, 2024

Dev docs were most likely ported over here in the first wave of pages migration, but it shouldn't have been the case. In particular, see this thread where it's confusing for customers searching for RBAC to end up on implementation docs.

This PRs wipes the dev docs from the docsite v2.

@vercel
Copy link

vercel bot commented Apr 11, 2024

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Updated (UTC)
sourcegraph-docs-v2 ✅ Ready (Inspect) Visit Preview Apr 11, 2024 8:04am

Copy link
Contributor

@burmudar burmudar left a comment

Choose a reason for hiding this comment

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

gif

@jhchabran jhchabran merged commit a2928d6 into main Apr 11, 2024
@jhchabran jhchabran deleted the jh/remove-dev-docs branch April 11, 2024 08:09
willdollman added a commit to sourcegraph/sourcegraph-public-snapshot that referenced this pull request Apr 15, 2024
The dev/ docs were removed from the sourcegraph/docs repo in sourcegraph/docs#253, so backport all changes to wolfi docs that were made
willdollman added a commit to sourcegraph/sourcegraph-public-snapshot that referenced this pull request Apr 15, 2024
The dev/ docs were removed from the sourcegraph/docs repo in sourcegraph/docs#253, so backport all changes to wolfi docs that were made
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