Shane Kilkelly 88adce3a02 Use UUID in file url, not (encoded) file path. ...

This fixes a bunch of issues where funny characters in the file path
(spaces, unicode, etc) would cause the file server in this process to
respond with a 404 when asked for the file. The 404 would then cause
the push to fail.

Now we just use a UUID as an opaque and unambiguous identifier for each file.

2019-07-05 11:07:47 +01:00

services/git-bridge

Use UUID in file url, not (encoded) file path.

2019-07-05 11:07:47 +01:00

S

Description

Quarto presentation editor based on the Overleaf framework

AGPL-3.0

297 MiB

Languages

JavaScript 62.6%

TypeScript 29.5%

SCSS 2.9%

Java 2.1%

Pug 0.8%

Other 1.9%