Matthew Woehlke wrote: > On 2015-08-14 14:38, Bram Moolenaar wrote: > > 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. > > As far as non-git content (e.g. issues, pull requests), that may be true. > > To empty out the git bits of a repository: > > $ git checkout --orphan empty > $ git checkout master > $ git reset --hard empty > $ git branch -d empty > $ git push --force origin master > ...delete all other branches and tags...
Thanks, but that looks like another example of how complicated git is... > The old objects will still be reachable for a while until garbage > collected, but they'll go away eventually. > > If you have the new history ready to go, you can just force-push that > over the old branches/tags and skip the emptying step (just remember to > delete anything you don't overwrite). The "git push --mirror" command might work better? We just need to overwrite the repository with what I have locally, dropping everything that I don't have locally. -- Mental Floss prevents moral decay! /// 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.
