| #!/bin/sh |
| # |
| # Downloads and grafts in the old EGit project history, before |
| # the project moved to eclipse.org. |
| # |
| # It is recommended that you DO NOT use this script on your main |
| # work repository, or that if you do, you remove the graft before |
| # attempting to push content to a remote repository. Grafts cause |
| # the history traversal system to change behavior, which can break |
| # other algorithms that depend upon it. |
| |
| |
| URL=git://repo.or.cz/egit.git |
| PRE=a9578ba7361b66ab403c6605a1b87fb7b2f94c6e |
| POST=dfbdc456d8645fc0c310b5e15cf8d25d8ff7f84b |
| |
| GIT_DIR=$(git rev-parse --git-dir) && |
| grafts="$GIT_DIR/info/grafts" && |
| |
| if grep $PRE "$grafts" >/dev/null 2>/dev/null |
| then |
| echo 'Graft already installed; doing nothing.' >&2 |
| else |
| git remote add old-egit "$URL" && |
| git fetch old-egit && |
| echo $POST $PRE >>"$GIT_DIR/info/grafts" && |
| echo 'Graft installed.' >&2 |
| fi |