Am Mittwoch, 19. August 2015, 21:35:52 schrieb Bram Moolenaar: > > I have removed the Ubuntu package for hg-fast-export and downloaded the > individual files from repo.or.cz. The conversion now runs without any > errors or warnings. > > The result is now available at https://github.com/vim/vim-tryout. > Let me know if this is perfect, then I'll push to the vim/vim > repository. And then we can continue from there.
I cloned it - it is perfect :) I got the exactly same SHA1 hashes with my local conversion. > One thing that's different from the export: That one shows the author as > "brammool", that is my GitHub user account. This gives me statistics > etc. The locally converted repo doesn't have this. Perhaps this is a > matter of changing the email address? Hmm, I can add my [email protected] > address to my GitHub account. It didn't have an effect at the toplevel, > but if I now open a commit it works. Perhaps it's just some caching. > I do believe my commits will also use [email protected]. The only page (now after you added your vim.org address to the GitHub settings) where brammool is not displayed I can find on the main site: "Bram Moolenaar authored a day ago" instead of "brammool authored ...". Oh, found another one: the branches site. All other sub-sites like commits, contributors, blob, tree, tags have your account mapped. Maybe it's a GitHub bug on the main site. Remember, you configured your Git mail address in ~/.gitconfig with an uppercase "B", maybe some pages are case sensitive? I also used the uppercase [email protected] for committer/author mail address unification in the Git cleanup script because that was the address you used the last months for your commits in the experimental Git repository. -- -- 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.
