Build and Deploy Verso / deploy (push) Successful in 13m0s
getAllDocs reads from MongoDB (docstore) which may lag behind the in-memory document-updater. Without flushing first, edits made in the Overleaf editor are silently skipped — the pushed file content matches the pre-edit version so git sees no change and doesn't update the remote. This is the same flush the zip download uses. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>