Utility to graft old JGit history onto repository