Skip to content

Remove Docusaurus website publishing pipeline#881

Merged
jupblb merged 1 commit into
mainfrom
michal/docs-delete
May 26, 2026
Merged

Remove Docusaurus website publishing pipeline#881
jupblb merged 1 commit into
mainfrom
michal/docs-delete

Conversation

@jupblb
Copy link
Copy Markdown
Member

@jupblb jupblb commented May 26, 2026

No description provided.

The site at https://sourcegraph.github.io/scip-java/ is no longer
republished from sources; it continues to be served from the (frozen)
gh-pages branch.

- Delete .github/workflows/mdoc.yml (auto-publish workflow).
- Delete website/ (Docusaurus sources) and scip-java-docs/ (mdoc project).
- Remove the docs sbt project, docs/docusaurusCreateSite from checkAll,
  and the sbt-mdoc plugin.
- Inline the real contributing guide into CONTRIBUTING.md (dropping the
  stub redirect and website/mdoc-only commands).
- Drop docs/benchmarks.md and docs/assets/semanticdb-javac-pipeline.svg
  (with its reference in docs/design.md).
@jupblb jupblb marked this pull request as ready for review May 26, 2026 19:03
@jupblb jupblb merged commit c9edad6 into main May 26, 2026
21 of 23 checks passed
@jupblb jupblb deleted the michal/docs-delete branch May 26, 2026 20:29
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