On Wed, Mar 18, 2015 at 04:05:18PM -0700, Dryden wrote: > Alright so, I succeeded in what I wanted to do, but I do not know > how I did it. > > 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.
Clearly, one lesson to learn from this is to be a bit more organised when messing around... keep a journal ;) > My goal was this: > > - remove one file from an older commit > - put it alone in a new commit I would do this to achieve that goal: 1. % git rebase -i HEAD~5 2. mark the commit for 'edit', save and exit 3. % git reset HEAD^ 4. add all but the one file, then commit 5. add the one file, then commit 6 % git rebase --continue /M -- Magnus Therning OpenPGP: 0xAB4DFBA4 email: mag...@therning.org jabber: mag...@therning.org twitter: magthe http://therning.org/magnus If voting could really change things it would be illegal. -- 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 to git-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Description: PGP signature