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... 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). -- Matthew -- -- 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.
