Markus Alexander Kuppe
Markus Alexander Kuppe
Thanks for the PR! To get it across the finish line, the feature needs to be disabled by default, since not all users want it and not all tools support...
/cc @will62794 ^^
There are two binary files (fonts) in this PR. Could you please specify the license for these fonts? Are these under permissive licenses?
Given the existence of `tools/fetch-spectacle.js`, why not download Spectacle at extension build time (Github Action workflow) instead of adding it to our git repo?
Zooming out from the question of how to patch `fetch-spectacle.js`, could the required changes be upstreamed and integrated directly into Spectacle?
@kudosscience Thanks for reporting this issue. Unfortunately, there’s nothing we can do. :-( Back in 2022, the VS Code Marketplace team [stated](https://github.com/microsoft/vscode-discussions/discussions/1#discussion-4100337): > For now, the extension will not be...
Our CI pipeline is overly complex and brittle, which is why commits are failing. That is the root cause we need to address—not the symptoms. The commit you referenced is...
I will not continue this discussion. I’ve consistently argued that the new CI system is complex and prone to failure (check your inbox and other issues). Despite this, you proceeded...
I see my feedback itself as a form of reciprocity. Also, to clarify, I didn’t know my TLA+ changes were correct because of the CI — I verified them manually...