Thorsten Ball

icon indicating a website link https://thorstenball.com icon indicating an email [email protected]

icon company @sourcegraph icon location Bavaria, Germany icon location Author of interpreterbook.com and compilerbook.com. I like to program where the rubber hits the road — wherever that may be.

Results 480 comments of Thorsten Ball

[Backport 5.1] fix Bitbucket Cloud exclude regex to make it work with AJV.

@sashaostrikov can you make sure the build works?

[Backport 5.1] fix Bitbucket Cloud exclude regex to make it work with AJV.

It passed in the original PR, but in this one -- the backport PR -- there seem to be problems with the formatting.

Simplify post signup flow

@gitstart-sourcegraph I added the backend query/mutation to mark users as having completed sign-up here: https://github.com/sourcegraph/sourcegraph/pull/54676

src extensions includes deprecation message that links to nonexistent url

I think we can remove the commands altogether now. The extensions have been deprecated ~1 year ago and removed ~7 months ago: https://sourcegraph.sourcegraph.com/github.com/sourcegraph/sourcegraph/-/commit/80024726b7933e628120eef7f272740aadb074d0

Vue-language-server is not working

https://github.com/zed-industries/zed/pull/9846 has been merged. Try using 0.129.x-preview release, which contains the fix.

Vue-language-server is not working

Can someone summarize what the exact state of the problem is? Or give steps to reproduce it reliably? As far as I can tell, we pinned the Vue language server...

Vue-language-server is not working

Thanks @klyuk88 and @olrtg! Seems like we can close this issue then and create new, more specific issues for more test cases. (As for pinning: we pinned because the 2.x...

Zed Not Recognizing Git Extension in Subfolders

Hey! To clarify: do you mean submodules? Can you give us some steps to reproduce?

Zed Not Recognizing Git Extension in Subfolders

Ah, got it. Yeah, right now Zed expects the root folder that you open to be the one containing `.git`.

Linux Roadmap

> @mikayla-maki, as far as I see, live kit only provides client side sdk for rust and not the server side one. Is the plan to write the server side...