Revision 431:d3af621ba9d4 extra
| extra/soundsoftware/update-external-repo.sh | ||
|---|---|---|
| 68 | 68 |
if [ -d "$project_repo_mirror/.hg" ]; then |
| 69 | 69 |
hg --config extensions.convert= convert --datesort "$remote_repo" "$project_repo_mirror" && success=true |
| 70 | 70 |
elif [ -d "$project_repo_mirror/.git" ]; then |
| 71 |
( cd "$project_repo_mirror" && git fetch "$remote_repo" ) && success=true
|
|
| 71 |
( cd "$project_repo_mirror" && git pull "$remote_repo" master ) && success=true
|
|
| 72 | 72 |
else |
| 73 | 73 |
echo "$$: ERROR: Repo mirror dir $project_repo_mirror exists but is not an Hg or git repo" 1>&2 |
| 74 | 74 |
fi |
Also available in: Unified diff