kani icon indicating copy to clipboard operation
kani copied to clipboard

Remove .vscode from gitignore?

Open giltho opened this issue 2 years ago • 0 comments

The .vscode fold can contain useful things such as repo-specific configurations that would maybe alleviate the work for new contributors.

In particular, I'd like to add a set of recommended vscode extensions. Installing the Redhat official yaml extension would have avoided the crashes in CI. (It also automatically pulls schemas and can detect invalid github workflows)

giltho avatar Sep 07 '22 17:09 giltho