Remove Redis

Antonio Scandurra created

Change summary

.gitignore | 1 -
Procfile   | 1 -
README.md  | 6 ------
3 files changed, 8 deletions(-)

Detailed changes

.gitignore 🔗

@@ -8,4 +8,3 @@
 /crates/collab/static/styles.css
 /vendor/bin
 /assets/themes/*.json
-dump.rdb

Procfile 🔗

@@ -1,3 +1,2 @@
 web: cd ../zed.dev && PORT=3000 npx next dev
 collab: cd crates/collab && cargo run
-redis: redis-server

README.md 🔗

@@ -23,12 +23,6 @@ script/sqlx migrate run
 script/seed-db
 ```
 
-Install Redis:
-
-```
-brew install redis
-```
-
 Run the web frontend and the collaboration server.
 
 ```