[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: CEDET Merge
From: |
Karl Fogel |
Subject: |
Re: CEDET Merge |
Date: |
Thu, 19 Jan 2017 16:29:31 -0600 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) |
David Engster <address@hidden> writes:
>Edward John Steere writes:
>>> Things have gotten easier since the actual ChangeLog files get generated
>>> from the commit message. I would try to manually commit the changes with
>>> proper commit messages, so we would retain the history with the
>>> exception of the date of the change, which would be from the day of the
>>> merge.
>>>
>>> -David
>>
>> This sounds like a lot of work and the outcome sounds right.
>
>It's not that bad. 'format-patch' gives me a nice list of patches where
>I can correct the paths with 'sed' and fix up the commit messages. It's
>only about 100 patches, so I don't think it will take long.
Regarding the earlier point about retaining history "with the exception of the
date of the change":
'git commit' takes an optional '--date' option:
--date=<date>
Override the author date used in the commit.
So even the date of each change could be correct.
Best regards,
-Karl
- Re: CEDET Merge, (continued)
- Re: CEDET Merge, Eli Zaretskii, 2017/01/17
- Re: CEDET Merge, Edward John Steere, 2017/01/17
- Re: CEDET Merge, Stephen Leake, 2017/01/17
- Re: CEDET Merge, Edward John Steere, 2017/01/17
- Re: CEDET Merge, Stephen Leake, 2017/01/17
- Re: CEDET Merge, David Engster, 2017/01/17
- Re: CEDET Merge, Edward Steere, 2017/01/18
- Re: CEDET Merge, David Engster, 2017/01/18
- Re: CEDET Merge, Edward John Steere, 2017/01/19
- Re: CEDET Merge, David Engster, 2017/01/19
- Re: CEDET Merge,
Karl Fogel <=
- Re: CEDET Merge, David Engster, 2017/01/20
- Re: CEDET Merge, Stefan Monnier, 2017/01/20
- Re: CEDET Merge, David Engster, 2017/01/20
- Re: CEDET Merge, Stefan Monnier, 2017/01/20
- Re: CEDET Merge, Eli Zaretskii, 2017/01/21
- Re: CEDET Merge, Glenn Morris, 2017/01/21
- Re: CEDET Merge, Eli Zaretskii, 2017/01/21
- Re: CEDET Merge, Glenn Morris, 2017/01/21
- Re: CEDET Merge, Eli Zaretskii, 2017/01/21
- Re: CEDET Merge, Paul Eggert, 2017/01/21