27 Jul
2008
27 Jul
'08
1:42 a.m.
On Sun, Jul 27, 2008 at 12:04:42AM +0200, Stephen R. van den Berg wrote:
Now, at any point in time in the future, if you deleted the files and possibly their directories (some commits ago), you simply tell git to merge those files back in from the old f2542cf commit.
which command would you use for that? the git-merge command does not allowyou to pick filenames, the git-checkout command only gets the contents, but does not add anything to the commit.
greetings, martin.