search

Syht / StochPong

1 stars 0 forks source link

Delete multiple files on GitHub #20

Closed Syht closed 7 years ago

Syht commented 7 years ago

As the title states, I want to know hows to delete multiple files on github! If I get it right, I need to use a git command prompt (I already installed git and I have git bash now). But I'm not sure what to do now. My exact question would be "how to delete multiple files at the same time on github?" because when you want to delete a file on github, you need to do it one by one. Since we got a lot of files to delete (in datadir), I thought I could find a better way to do so.

laurentperrinet commented 7 years ago

it is hard (if not impossible) to delete files from the history on github - but you can remove files from your current version and they will be removed in all up-to-date versions.

Syht commented 7 years ago

You just enlightened the problem I got: I don't use github desktop thus I don't have an exact copy of the repo on my computer. I just installed GitHub Desktop but the fact is that I have some files that I don't want to upload to github (because they are irrelevant, I keep them just in case). Now it doesn't want to push my file to the repo because it want me to pull the repo before! image

and when I try to pull: image

I'll deal with it tomorrow and I'll keep you in touch.

Syht commented 7 years ago

Dealt with! I know how to use GitHub Desktop now and I pushed all my StochPong file into GitHub.

In datadir/pilot, you can find all the pilots I recorded with an inf.txt file in which I noted which set of levels each user has played.

I close the Issue.