@jesalg Cheers! Since deploy.php is executed separately, all required files will be included relative to its own path. Both deploy.php and config.php live in the same folder ("." default in include_path).

We have successfully implemented this in our PRODUCTION environment, nicely keeping the custom config outside the repo (and also restricting access to Github IP-range 192.30.252.0/22 via htaccess or vhost). Excellent auto deploy tool, thanks!