|
@@ -12,6 +12,10 @@ SERVICES = [{
|
|
|
name: "web"
|
|
name: "web"
|
|
|
repo: "https://github.com/sharelatex/web-sharelatex.git"
|
|
repo: "https://github.com/sharelatex/web-sharelatex.git"
|
|
|
version: "master"
|
|
version: "master"
|
|
|
|
|
+}, {
|
|
|
|
|
+ name: "real-time"
|
|
|
|
|
+ repo: "https://github.com/sharelatex/real-time-sharelatex.git"
|
|
|
|
|
+ version: "master"
|
|
|
}, {
|
|
}, {
|
|
|
name: "document-updater"
|
|
name: "document-updater"
|
|
|
repo: "https://github.com/sharelatex/document-updater-sharelatex.git"
|
|
repo: "https://github.com/sharelatex/document-updater-sharelatex.git"
|