Set the URL of the remote during `shelf_mirror_from_git`.
Chris Pressey
1 year, 6 months ago
| 473 | 473 |
if [ ! -d $dest ]; then
|
| 474 | 474 |
git clone --mirror $url $dest
|
| 475 | 475 |
fi
|
| 476 | |
(echo -n "$dest: " && cd $dest && git remote update)
|
|
476 |
(echo -n "$dest: " && cd $dest && git remote set-url origin $url && git remote update)
|
| 477 | 477 |
done
|
| 478 | 478 |
}
|
| 479 | 479 |
|