 Jakob Ackermann
|
eb36edac6d
|
[project-history] report a resync that is still pending after a flush (#36122)
GitOrigin-RevId: ccd4390048c09f732531d2e02a40336fce88a952
|
2026-09-17 11:45:55 +00:00 |
|
|
Miguel Serrano
|
14b04ad4b8
|
[project-history] Removed request dependency (#32686)
* [project-history] Removed `request` dependency
GitOrigin-RevId: 086bbbf2efeea6026127653a1f68ca6bf0476de6
|
2026-05-28 08:06:04 +00:00 |
|
|
Malik Glossop
|
da027f46cf
|
Merge pull request #32530 from overleaf/mg-stuck-sync-repro
Detect and auto-clear stuck sync states
GitOrigin-RevId: 680861a33e42432dab7d40ad421980b707eb6089
|
2026-04-29 08:05:33 +00:00 |
|
|
Christopher Hoskin
|
ced8a923c0
|
Merge pull request #16218 from overleaf/csh-issue-11625-mongo-ug-5-project-history
Upgrade mongodb module for project-history
GitOrigin-RevId: 18782896b46b2b0512a1ce50215bb98ac3d46cea
|
2023-12-18 09:04:07 +00:00 |
|
|
Alf Eaton
|
ee85d948e2
|
Avoid duplicating a math-closing dollar sign (#11227)
GitOrigin-RevId: ef2ef77e26df59d1af3df6dc664e284d3c70102d
|
2023-01-16 08:41:42 +00:00 |
|