Markus Heidelberg wrote: > > > Oh, I just noticed, of course we cannot just use a new git > > > repository/project on GitHub, otherwise the issues are gone. > > > The final official repository has to be pushed to one created by the > > > Google exporter therefore. > > > > For the one that's there now I created the repository on github and then > > pushed the locally converted repo to there. Is there something wrong > > with it, compared to using the one created by the Google exporter? > > So far I thought it would be fine, so long as the name ends up being the > > same. > > The name does not matter. The current vim/vim repository does not > contain the issues exported from Google Code, they reside in > vim/vim-old-tryout as well as the single pull request. They move with > the rename of the repository/project.
Oh, the issues are on the repository, not on the project. I see. Well, I didn't see them, since issues were disabled in settings. I didn't get your remark "the issues are gone", I was thinking of repository issues, not Vim issues. Hmm, one can add a repository and delete a repository, but making it totally empty and pushing a fresh repo into it appears not to be possible. So, is the conclusion that we need to push the cleaned-up Mercurial repository to Google code before doing the export? -- If your life is a hard drive, Christ can be your backup. /// Bram Moolenaar -- b...@moolenaar.net -- 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 vim_dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.