jgit/tools at f4964358b3bfdb206ea525042673998690bbfca0 - jgit

纯java实现的git操作库。

Tree: f4964358b3

Shawn O. Pearce baba6a3c28 Utility to graft old JGit history onto repository This script can be executed by a developer to download and graft on the old JGit history, from before we moved the project to the eclipse.org namespace and the Eclipse Foundation servers. Executing this script is only necessary if you need to run log or blame past the migration boundary, and isn't always recommended when it comes to pushing objects to a remote server. As mentioned in the script, it is best to use a specialized repository with this graft, not your main work repository. Signed-off-by: Shawn O. Pearce <spearce@spearce.org>	15 years ago
..
graft-old-history.sh	Utility to graft old JGit history onto repository	15 years ago

Shawn O. Pearce baba6a3c28 Utility to graft old JGit history onto repository

This script can be executed by a developer to download and graft
on the old JGit history, from before we moved the project to the
eclipse.org namespace and the Eclipse Foundation servers.

Executing this script is only necessary if you need to run log or
blame past the migration boundary, and isn't always recommended when
it comes to pushing objects to a remote server.  As mentioned in the
script, it is best to use a specialized repository with this graft,
not your main work repository.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>

15 years ago

graft-old-history.sh

Utility to graft old JGit history onto repository

15 years ago