Co-authored-by: Jakob Ackermann <jakob.ackermann@overleaf.com> GitOrigin-RevId: f679a190b88694a46f7816d51eff96446f338dec
[web] Add script for batch history resyncs GitOrigin-RevId: 2409475fa1ba12dadfaae9641a5fafdaa6c88e47