Zulip Chat Archive
Stream: PR reviews
Topic: chore: add setting to prevent accidental editing of depende
Johan Commelin (Feb 13 2024 at 12:51):
The following PR makes a bunch of files read-only in VScode.
chore: add setting to prevent accidental editing of dependencies #10320
As far as I can tell, this is a good default. But I'm happy to hear what others think.
Eric Rodriguez (Feb 13 2024 at 14:43):
Sometimes it's nice to toy around in such files to figure out what's going on, but if this is easy to override in such cases all for itm
Johan Commelin (Feb 13 2024 at 18:58):
Ok, I kicked it on the queue
Last updated: May 02 2025 at 03:31 UTC