contrib/makerepo: use git remote rm instead of "remove"

Older git versions only know the latter.
This commit is contained in:
Thomas Haller 2015-05-18 18:27:12 +02:00
parent ced90e3677
commit cbeee992e8

View file

@ -279,7 +279,7 @@ pushd "$DIRNAME"
if [[ "$(git remote | grep '^origin$')x" != x && -z "$NO_REMOTE" ]]; then if [[ "$(git remote | grep '^origin$')x" != x && -z "$NO_REMOTE" ]]; then
git fetch origin git fetch origin
if [[ -n "$LOCAL_MIRROR" ]]; then if [[ -n "$LOCAL_MIRROR" ]]; then
git remote remove local-mirror git remote rm local-mirror
fi fi
fi fi
git commit --allow-empty -m '*** empty initial commit' # useful, to rebase the following commit git commit --allow-empty -m '*** empty initial commit' # useful, to rebase the following commit