Skip to content

Conversation

jupblb
Copy link
Member

@jupblb jupblb commented Sep 9, 2025

They now reflect examples automatically generated by this GitHub action: https://github.com/sourcegraph/scip/blob/main/.github/workflows/scip-examples.yaml

@jupblb jupblb self-assigned this Sep 9, 2025
Copy link

vercel bot commented Sep 9, 2025

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Preview Comments Updated (UTC)
sourcegraph-docs Ready Ready Preview Comment Sep 10, 2025 5:58pm

Copy link
Contributor

@varungandhi-src varungandhi-src left a comment

Choose a reason for hiding this comment

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

Let's add an HTML comment here indicating the YAML file in the scip repo. Conversely, in the YAML file in the scip repo, next to the list of repos, mention that we may need to update this doc if we're changing the list of repos there.

Copy link
Member Author

@jupblb jupblb left a comment

Choose a reason for hiding this comment

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

Let's add an HTML comment here indicating the YAML file in the scip repo. Conversely, in the YAML file in the scip repo, next to the list of repos, mention that we may need to update this doc if we're changing the list of repos there.

Done. See: sourcegraph/scip@7421625.

@jupblb jupblb merged commit 186c33b into main Sep 10, 2025
5 checks passed
@jupblb jupblb deleted the michal/GRAPH-1255 branch September 10, 2025 18:06
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