-
nicoco
krig: I forgot to mention it earlier, but do you want me to setup a bot that notifies of pushes and pull requests here? since I set it up for my stuff on codeberg, it is like ~10 minutes of work for me and one webhook to set up in the codeberg UI. ping me if you're interested
-
guest_matebitte
hej, just quick thank you. I love the speed of zed, but my settings file is basically a "turn all the annoying buttons and AI off" file. This fork solved it, thank you! The mentioned goal in the docs as "a good baseline editor [...] to recommend to beginners" is definitely met. Also, very cute choice of name and icon ^^
❤️ 1🐸 1 -
krig
That’s great, thank you! ☺️