Programs to splice histories of git repositories