Merge pull request #1368 from zed-industries/redis

Antonio Scandurra created 

Document using Redis and launch it in `Procfile`

Change summary

.gitignore | 1 +
Procfile   | 1 +
README.md  | 6 ++++++
3 files changed, 8 insertions(+)

Detailed changes

.gitignore 🔗 

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

Procfile 🔗 

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

README.md 🔗 

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