Re: ChangeLogs in commit messages
Sergio Durigan Junior <[email protected]>
| Newsgroups | gmane.comp.gdb.devel |
|---|---|
| Message-ID | <[email protected]> |
On Thursday, September 04 2014, Gary Benson wrote: >> There is no such thing as a "push date". What you see is the author >> date and the committer date. But both are set during the local >> commit, and are unrelated to the point of time of pushing the >> commits to the remote repository. > > Yeah, in git no file (object) is modified when you push or pull > commits, they're just copied from one place to another. Yeah, sorry for not being fluent in git's parlance. > The committer date on the commit you mentioned is likely the time > I updated the ChangeLog prior to pushing, so that date will be the > "push date", but that's not guaranteed to be the case for all > commits. Right. Anyway, I still consider it is valid to include this info (author and date) in the commit message. Thanks, -- Sergio GPG key ID: 0x65FC5E36 Please send encrypted e-mail if possible http://sergiodj.net/