0

I would like to keep files in github repo, but not on the local system.

After some searches, I can only find the solution to the other way around: delete in github repo, not local.

Thanks

  • https://stackoverflow.com/search?q=%5Bgit%5D+delete+files+locally+but+not+remote – phd May 04 '20 at 21:59
  • if the file is already pushed, you can also add the path to the `.gitignore` so you can delete it locally and git file ignore changes made to this file. – Mickael B. May 04 '20 at 22:01

0 Answers0