.. |
.github
|
upgrade build scripts 1.1.9
|
2018-09-28 15:13:47 +01:00 |
app
|
avoid project history queues building up with deferred flush
|
2019-10-03 04:05:24 +01:00 |
config
|
add smoothing of delete spikes
|
2019-10-01 15:01:53 +01:00 |
redis_cluster
|
Configure backend database as redis cluster
|
2016-06-07 18:38:32 +01:00 |
test
|
avoid project history queues building up with deferred flush
|
2019-10-03 04:05:24 +01:00 |
.dockerignore
|
Dockerised env. 1.1.3 build scripts
|
2018-05-23 13:52:20 +01:00 |
.gitignore
|
Add **/*.map to .gitignore
|
2019-01-08 15:01:48 +00:00 |
.nvmrc
|
Update to build 1.0.0 build scripts
|
2018-02-15 16:28:40 +00:00 |
.travis.yml
|
Do not specify node version in .travis.yml
|
2018-04-19 14:03:35 +01:00 |
app.coffee
|
logs out when a redis event occurs
|
2019-10-03 11:10:31 +01:00 |
buildscript.txt
|
Update logger, metrics, and redis
|
2019-06-19 10:25:54 +01:00 |
docker-compose.ci.yml
|
Update logger, metrics, and redis
|
2019-06-19 10:25:54 +01:00 |
docker-compose.yml
|
Update logger, metrics, and redis
|
2019-06-19 10:25:54 +01:00 |
Dockerfile
|
Bump buildscripts to 1.1.10
|
2019-01-04 09:24:09 +00:00 |
expire_docops.coffee
|
Add script to expire existing DocOps lists
|
2017-06-14 12:09:34 +01:00 |
Jenkinsfile
|
Update logger, metrics, and redis
|
2019-06-19 10:25:54 +01:00 |
LICENSE
|
Create LICENSE
|
2014-02-18 17:23:36 +00:00 |
Makefile
|
Update logger, metrics, and redis
|
2019-06-19 10:25:54 +01:00 |
nodemon.json
|
update to 1.1.9 build scripts
|
2018-07-23 15:35:54 +01:00 |
npm-shrinkwrap.json
|
upgrade redis-sharelatex to 1.0.10
|
2019-09-19 16:22:43 +01:00 |
package.json
|
upgrade redis-sharelatex to 1.0.10
|
2019-09-19 16:22:43 +01:00 |
README.md
|
Merge branch 'master' into bg-downgrade-delete-component-error
|
2019-05-08 09:07:02 +01:00 |