Baptiste Augrain

This is an issue of VSCode. It can't be fixed in VSCodium. But you reload the window with the shortcut named `Developer: Reload Window` and it do the same as...

+1

It has been fixed with https://github.com/VSCodium/vscodium/blob/master/patches/use-github-pat.patch

Let's keep it active.

Which private key?

> Would it not be better to keep the private key offline ? I did understand that question like if there were a private key in the repository and so...

@d-damien CI signed releases are fine since the private won't be exposed to the public. But, yes, there is a risk. If the CI is hacked, then the hacker can...

No, it's failing due to the need of updated patch: https://github.com/VSCodium/vscodium/actions/runs/3417106561/jobs/5687898282

I don't think we will re-implement the JSON settings editor. It will take too much time. @Crystal-RainSlide It was when the JSON settings editor was a split editor between the...

@lonix1 Ya... Sorry Me too, I'm sad. @Crystal-RainSlide No, not the same... The old one was 1 editor with 1 search. The new is 2 editors with 2 searchs.