skypilot-users
How to sync workdir to a server without including the .git folder?
Lucas Young wants to exclude the .git folder when syncing the workdir to a server. Adding .git to .gitignore causes problems, so Zongheng Yang suggests adding .git to .git/info/exclude. Lucas Young later confirms that excluding .git doesn't cause any issues with git.
Lu
Lucas Young
Asked on Feb 27, 2024
- To sync the workdir to a server without including the .git folder, you can add
.gitto.git/info/exclude. - Excluding the .git folder in this way is respected by git and does not cause any issues.
Example:
echo '.git' >> .git/info/excludeFeb 28, 2024Edited by