Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Make Website able to ignore files/dirs on push/pull #27
Pushing and pulling has consequences for the files that already exist in the target folder, yet do not exist in the source folder -- they get deleted.
However, if this folder happens to be your project folder, this is undesirable.
Also, files in the source directory which are marked as .gitignore, are not feasible candidates for syncing, so they must be skipped.
Hook into the .gitignore principle, enable it by default and allow it to be turned off.