Skip to content

Conversation

@dadlerj
Copy link
Member

@dadlerj dadlerj commented Mar 11, 2025

This same version number applies to both VSC and JB right?

Pull Request approval

You will need to get your PR approved by at least one member of the Sourcegraph team. For reviews of docs formatting, styles, and component usage, please tag the docs team via the #docs Slack channel.

@dadlerj dadlerj requested a review from kelsey-brown March 11, 2025 00:19
@vercel
Copy link

vercel bot commented Mar 11, 2025

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

Name Status Preview Comments Updated (UTC)
sourcegraph-docs ✅ Ready (Inspect) Visit Preview 💬 Add feedback Mar 11, 2025 0:22am

@kelsey-brown
Copy link
Contributor

Yeah this is a good question - technically the final fixes for this logging that went out with that VSCode version happened in the agent, and were just inherited by JetBrains (thread where I confirmed this previously). So there wasn't really a JB version associated officially...this was back before the releases were tied to one another directly

Looking at the timing the next JetBrains release that went out after VSCode 1.42 was 7.1.0 so we could add that filter here - but let me just double check with someone that that's how the version releases would work for changes made it the agent

@kelsey-brown
Copy link
Contributor

kelsey-brown commented Mar 14, 2025

@dadlerj confirmed it's 7.1.0. FWIW, we have very few users running these versions so the filtering doesn't really make much of a difference to the PCW calc in aggregate across 30, 90, or 120 day timeframes (checked across 3 big customers). It's probably still worth updating for completeness though.

Because of the way version numbers differ between clients, we'll need to implement an OR filter so we can handle the version filters for each client individually. Here's an example in Looker: https://sourcegraph.looker.com/explore/sourcegraph/v2_events?qid=fwTxOsbqxUl8lwz7bo10Kz&origin_space=562&toggle=dat,fil,vis

Let me know if you want me to open a separate PR to actually apply the filter.

@MaedahBatool MaedahBatool merged commit 13c2066 into main May 7, 2025
5 checks passed
@MaedahBatool MaedahBatool deleted the dadlerj-patch-1 branch May 7, 2025 19:53
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.

4 participants