Manuel Ortega wrote: > I cloned the new "testing" repo from github. > > When I do "git log" and scroll through the results, I find that multi-line > log messages that look fine in the hg repo are a bit mangled in the github > repo. > > For example, a line starting with "Problem:" that has a description long > enough to continue on to the next line has bad indentation on the second > line. The commit messaget for atch 7.4.682 is a good example. > > I can't tell right now on my terminal, but I suspect github (or the google > code exporter) is inserting a tab where there should only be spaces (or > vice versa). > > I don't know whether anything can be done about that, but I thought I'd > raise the issue here.
It looks like the "git log" command itself is to blame. It inserts four spaces before every line, which means Tabs are misaligned. The 7.4.682 message looks OK on github, e.g. here: https://github.com/vim/vim/commit/6ac42ad71294c4ef6d74e99668e88911e76d818f Although in some other places the indent is removed completely. -- ARTHUR: What does it say? BROTHER MAYNARD: It reads ... "Here may be found the last words of Joseph of Aramathea." "He who is valorous and pure of heart may find the Holy Grail in the aaaaarrrrrrggghhh..." ARTHUR: What? BROTHER MAYNARD: "The Aaaaarrrrrrggghhh..." "Monty Python and the Holy Grail" PYTHON (MONTY) PICTURES LTD /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
