esmf-org/esmf-profiler

Make push_to_repo more efficient

Opened this issue · 0 comments

main.py -> push_to_repo(...

This deletes/reclones every time which can be inefficient if the repo is large instead we want to check whether it exists already and see if we can git pull

Fix per quote.