If you’re actively doing development work and your production server is different from the development one, as it is in my case, at some point you’ll need to upload or deploy files from the development server to production. If this happens a lot during the day or even once a day, you might want to [...]