Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

codeintel: Add SCIP notice to changelog and upgrade docs#46253

Merged
efritz merged 1 commit into
ef/scip-oobmigration-registerfrom
ef/scip-changelog
Jan 13, 2023
Merged

codeintel: Add SCIP notice to changelog and upgrade docs#46253
efritz merged 1 commit into
ef/scip-oobmigration-registerfrom
ef/scip-changelog

Conversation

@efritz

@efritz efritz commented Jan 9, 2023

Copy link
Copy Markdown
Contributor

Update changelog for LSIF -> SCIP migration.

@cla-bot cla-bot Bot added the cla-signed label Jan 9, 2023
@efritz efritz changed the title WIP. codeintel: Add SCIP to changelog Jan 11, 2023
@efritz efritz changed the title codeintel: Add SCIP to changelog codeintel: Add SCIP notice to changelog and upgrade docs Jan 11, 2023
@efritz efritz force-pushed the ef/scip-oobmigration-register branch 2 times, most recently from facebd8 to faed4e4 Compare January 12, 2023 23:52
@efritz efritz force-pushed the ef/scip-changelog branch 4 times, most recently from 80e9fee to 061e989 Compare January 13, 2023 16:34
@efritz efritz marked this pull request as ready for review January 13, 2023 16:34
@efritz efritz requested a review from cesrjimenez January 13, 2023 16:34
@sourcegraph-bot

sourcegraph-bot commented Jan 13, 2023

Copy link
Copy Markdown
Contributor

Codenotify: Notifying subscribers in CODENOTIFY files for diff 5529b39...28f4348.

Notify File(s)
@sourcegraph/delivery doc/admin/how-to/clear_codeintel_data.md
doc/admin/how-to/index.md
doc/admin/how-to/lsif_scip_migration.md
doc/admin/updates/docker_compose.md
doc/admin/updates/kubernetes.md
doc/admin/updates/pure_docker.md
doc/admin/updates/server.md

@efritz efritz force-pushed the ef/scip-changelog branch from 061e989 to 28f4348 Compare January 13, 2023 16:39
@efritz efritz merged commit 7a0a8f4 into ef/scip-oobmigration-register Jan 13, 2023
@efritz efritz deleted the ef/scip-changelog branch January 13, 2023 16:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants