If I delete my local repo, will there be repercussions?

Today I cloned a GitHub repo to my work laptop. After doing so I found that about 5 GB of storage was taken up. Normally that wouldn’t be a problem, but this laptop doesn’t have a lot of storage to begin with. So, reluctantly, I’m going to have to get rid of the local repo, so that it doesn’t take up that space.

I presume that there will be no negative repercussions, but I want to double check. I’ve not pushed anything to origin. I’ve not made a PR. I’m guessing that, from the repo on GitHub, its unaware of my having cloned the repo, so I’m safe to delete my local repo. Am I correct?

You’re right @Rod-in-NM: GitHub is completely unaware of any local repository. If you delete a local repository, you will lose any changes that you’ve made locally and have not yet pushed, but for the rest there should be no side effects at all.

1 Like

Thanks, @mpboom. It’s unfortunate for me, but I’d best just delete the local repo and reclaim that disk space. Too bad, oh well. Glad my instincts were right and there’s no negative repercussions.