02718284ef
Remove dev servers ( #19638 )
...
TODO:
- [ ] Check that workspace migration worked
- [ ] Add server migrations and make sure SeaORM files are in sync
(maybe?)
Release Notes:
- N/A
---------
Co-authored-by: Conrad <conrad@zed.dev >
Co-authored-by: Conrad Irwin <conrad.irwin@gmail.com >
2024-10-24 12:14:03 -06:00
Piotr Osiewicz
095a08d9c8
chore: Another round of style lints fixes ( #17519 )
...
Closes #ISSUE
Release Notes:
- N/A
2024-09-07 02:36:55 +02:00
Conrad Irwin and Max
62ab6e1a11
remoting: Allow Add/Remove remote folder ( #14532 )
...
Release Notes:
- remoting (alpha only): Allow add/remove folders to projects
---------
Co-authored-by: Max <max@zed.dev >
2024-07-16 12:01:59 -06:00
Conrad Irwin and Bennet
1abd58070b
Slicker remote project creation ( #11309 )
...
Inline the editor into the modal
Release Notes:
- N/A
---------
Co-authored-by: Bennet <bennetbo@gmx.de >
2024-05-02 12:46:52 -06:00
9bac64a9c1
Rename RemoteProject -> DevServerProject ( #11301 )
...
Co-Authored-By: Mikayla <mikayla@zed.dev >
In a fit of ill-advisedness I called these things remote projects;
forgetting that remote project is also what we call collaboratively
shared projects.
Release Notes:
- N/A
---------
Co-authored-by: Mikayla <mikayla@zed.dev >
Co-authored-by: Bennet <bennetbo@gmx.de >
2024-05-02 11:00:08 -06:00
Piotr Osiewicz
