Alright so, I succeeded in what I wanted to do, but I do not know how I did
I was trying to rewrite history.
I first pushed the entire tree onto a different empty node and pushed it
with "git push origin +master" onto the GitHub tree.
I make backups regularly of the local repository copy so I can go back to
what I did before.
I really have no idea how I did it.
My goal was this:
- remove one file from an older commit
- put it alone in a new commit
Eventually I learned how to rebase the wanted commit minus that one file
onto the empty root (it effectively becomes the new root if you let it).
But I guess I did it by just creating a huge amount of commits and then
deleting the ones I did not want :p.
At one point it worked the way I wanted but then I forgot how to do it.
Eventually I just messed about until it worked.
Seriously why is this so difficult. Okay I haven't read much about the
construction of the Git tree, but still.
It seemed like I could remove a file from a commit by going back with "git
reset --soft HEAD~3" or the like. Then everything that had been committed
after that fact would end up as "new files" in this case. I could then
remove the offending file and then redo the first next commit I had wanted
to do. So far so good. But I don't know how to redo commits.
It seems like "git commit -a -c ORIG_HEAD" might redo up to the original
(furthest) head? No, it does a single commit. It might work. But I still
don't have a way to do this.
1. Reset up to the commit to change.
2. Reset a file from that commit.
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
For more options, visit https://groups.google.com/d/optout.