Download a file from a git hosting service and save it to disk if file is different, to ensure that the configuration files (or other files) on your servers are ...