On 09/09/2013 11:41 PM, Pádraig Brady wrote: > On 09/09/2013 09:55 PM, Bernhard Voelker wrote: >> Shall I push?
> All looks good, please push. Thanks, pushed: http://git.sv.gnu.org/cgit/coreutils.git/commit/?id=54a155a3 > I was a bit surprised that the git diff didn't > indicate the help2man.in was a rename. Yes, interestingly, git recognized the rename during pulling in from my local 'help2man' to the local master branch ... with the same 'git config' as I had during 'git format-patch', i.e. without "diff.renames" being explicitly set: git pull . help2man From . * branch help2man -> FETCH_HEAD Updating b86437e..54a155a Fast-forward .gitignore | 1 + .x-update-copyright | 3 ++ cfg.mk | 10 ++-- man/help2man.diff | 32 ++++++++++++ man/{help2man => help2man.in} | 432 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++----------------------------------------------------------- man/local.mk | 10 ++++ 6 files changed, 323 insertions(+), 165 deletions(-) create mode 100644 .x-update-copyright create mode 100644 man/help2man.diff rename man/{help2man => help2man.in} (52%) Thanks & have a nice day, Berny
