On Wed, Jun 17, 2020 at 11:30:26AM +0200, Martin Liška wrote: > On 6/17/20 10:58 AM, Jakub Jelinek wrote: > > On Wed, Jun 17, 2020 at 10:46:19AM +0200, Martin Liška wrote: > > > One minor limitation is that the timestamp (commit date) > > > of the original commit is lost so that's why we print: > > > > Why? You have the > > (cherry picked from commit 8cff672cb9a132d3d3158c2edfc9a64b55292b80) > > line, so you can > > git log -1 --format=%ci 8cff672cb9a132d3d3158c2edfc9a64b55292b80 > > 2020-06-11 11:02:58 +0200 > > and just pick the date from there? (or %cI or %ct or whatever is most > > appropriate). > > I've just implemented that. Effectively adding a new hook that is only > implemented > by git_repository.py (using GitPython). For server hook we don't need it. > > Is the output better now?
Yeah, thanks. LGTM. Jakub