We use a development site and github.com repository, and then pull from github.com down to our live site.
So when upgrading our extensions we update the code on our dev site, test it's all ok, then push it to github.com, ready to pull it down to our live site.
What's the correct thing to do on the live site in this case? Disable the extension before downloading the code and then re-enable it? Or what?
Apologies if my searching missed this in an obvious part of the documentation or elsewhere.
We're on Civi 4.7.27 and Drupal 7.56