You need to change inc/header.inc.php file only.

However I wouldn't recommend to do it this way, if you want to sync files then you can use git for it so all changes will be versioned, also you can add only particular files to the repository, so you can exclude inc/header.inc.php, storage, etc - so you will not need to change inc/header.inc.php after pulling changes from the repo.