Detach subdirectory (that was renamed!) into a new repo

Question

I have a repository and I would like to detach one of its directories into a new repo. This is a perfect place to get started, there is one caveat, however: the directory th

Answer 1

We (Matthew Flatt and me) wrote a program to do this: https://github.com/samth/git-slice