So far, we delete the whole repo and fetch it completely everytime
Multiple optimisations are possible
- fetch only the master branch
- do a shallow fetch (expensive for the server ?)
- check before pulling if a pull is needed
- fetch instead of deleting and cloning the whole repo again
So far, we delete the whole repo and fetch it completely everytime
Multiple optimisations are possible