[ginnungagap]

I've been using overleaf for years and never realized it supports synchronization with github! Seems very straightforward to use as well, thanks