CODEWITHSUNDEEP
github
Minijumper
Minijumper

Reputation: 21

How do I delete unnecessary folders in my github repository?

How do I delete unnecessary folders in my github repository? The following is the github repository where I need to delete folders from: https://github.com/tux-superman/VitekSky

Upvotes: 1

Views: 224

Answers (2)

Ritesh Kumar sinha
Ritesh Kumar sinha

Reputation: 153

Use git rm:

git rm file1.txt

git commit -m "remove file1.txt"

But if you want to remove the file only from the Git repository and not remove it from the filesystem, use:

git rm --cached file1.txt

git commit -m "remove file1.txt"

And to push changes to the remote repo

git push origin branch_name

Upvotes: 1

VonC
VonC

Reputation: 1328712

Those are not exactly folders, but gitlinks (special 16000 entry in the index): simple SHA1 entry referencing the root folder hash of another repository.

In your case, since there is no .gitmodules associated to said folders, all you need to do is:

git rm aFolder # no trailing /
git commit -m "remove aFolder entry"
git push

Upvotes: 1

Related Questions