@Robie: the last two commits I need some help on. We talked in HO about HEAD^, but I forget what we decided as to the cleanup. For HEAD, I'm not sure how to make pristine-tar and parent-dir cooperate, when the former needs to know that we are in a Git repository and what content we need from it.
@Robie: the last two commits I need some help on. We talked in HO about HEAD^, but I forget what we decided as to the cleanup. For HEAD, I'm not sure how to make pristine-tar and parent-dir cooperate, when the former needs to know that we are in a Git repository and what content we need from it.