Should be fine with the way git works, just inconvenient.

Any maintainers (or someone here) should set up a regular job to git pull the repo every night.