1

It is probably a silly question, but I am new to github. I uploaded a very large dataset and I want to remove it from my laptop because of storage issues, but I still need it online for the users of the repo. Is it possible to remove a file from the local repository but not from the online repo?

It is basically the opposite problem than this very popular question.

sato
  • 768
  • 1
  • 9
  • 30
  • Possible duplicate of [How do I configure git to ignore some files locally?](https://stackoverflow.com/questions/1753070/how-do-i-configure-git-to-ignore-some-files-locally) – hanshenrik Dec 10 '18 at 17:27

1 Answers1

1

Once you have pushed your data upstream to GitHub, you can safely delete it locally. Data on GitHub won't be affected unless you do something like

git rm <file>
git commit -m "deleted file"
git push

In which case it removes the file from the remote repository.

ahota
  • 439
  • 5
  • 16
  • 2
    .. and then you can add it to .git/info/exclude to tell git not to re-download it on a `git pull` or similar, i think – hanshenrik Dec 10 '18 at 17:27