On Wed, 14 Dec 2016 19:22:37 -0500 "Michael Jeffers" <mjeff...@andrew.cmu.edu> wrote: > We are working to get the merge request cleaned up, and noticed that the > build directory got wiped out through some, perhaps erroneous, use of the > ant script.
I saw that and wondered what had happened. > How can one reverse these changes made some commit long ago, that doesn't > have it register as a new commit over the current HEAD? I do not know an elegant way, but I am no great git expert. I would just make a new branch and use "git cherry-pick" to add in the commits that did not touch the build directory. Cheers, Mike Pope
pgpzuFDQLM5c6.pgp
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________ Freecol-developers mailing list Freecol-developers@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/freecol-developers
