Bennet Bo Fenner 593f0e0c3e remoting: Edit dev server (#11344) ...

This PR allows configuring existing dev server, right now you can:
- Change the dev servers name
- Generate a new token (and invalidate the old one)

<img width="563" alt="image"
src="https://github.com/zed-industries/zed/assets/53836821/9bc95042-c969-4293-90fd-0848d021b664">


Release Notes:

- N/A

2024-05-06 12:58:11 +02:00

..

api

Use HIGH priority to wake blocked timers (#11269)

2024-05-01 16:03:27 -06:00

bin

Make it (a tiny bit) easier to run your own collab (#9557)

2024-03-20 21:00:02 -06:00

db

remoting: Edit dev server (#11344)

2024-05-06 12:58:11 +02:00

rpc

open new buffer (#11203)

2024-04-30 16:09:43 -06:00

tests

remoting: Edit dev server (#11344)

2024-05-06 12:58:11 +02:00

ai.rs

New revision of the Assistant Panel (#10870)

2024-04-23 16:23:26 -07:00

api.rs

Rust 1.78 (#11314)

2024-05-05 15:02:50 +02:00

auth.rs

WIP: remoting (#10085)

2024-04-11 15:36:35 -06:00

completion.rs

Supermaven (#10788)

2024-05-03 12:50:42 -07:00

db.rs

Rename RemoteProject -> DevServerProject (#11301)

2024-05-02 11:00:08 -06:00

env.rs

Add an extensions API to the collaboration server (#7807)

2024-02-15 12:53:57 -08:00

errors.rs

Remove more unused code related to GitHub auth and errors

2022-04-21 08:57:49 -06:00

executor.rs

Remove 2 suffix for collab, rope, settings, menu

2024-01-03 12:29:16 -08:00

lib.rs

Supermaven (#10788)

2024-05-03 12:50:42 -07:00

main.rs

Semantic Index (#10329)

2024-04-12 11:40:59 -06:00

rate_limiter.rs

Allow AI interactions to be proxied through Zed's server so you don't need an API key (#7367)

2024-03-19 19:22:26 +01:00

rpc.rs

remoting: Edit dev server (#11344)

2024-05-06 12:58:11 +02:00

seed.rs

Make it (a tiny bit) easier to run your own collab (#9557)

2024-03-20 21:00:02 -06:00

tests.rs

WIP: remoting (#10085)

2024-04-11 15:36:35 -06:00