unimportant

This commit is contained in:
Cosmin Apreutesei
2021-11-09 00:35:24 +02:00
parent 9a4632b621
commit 27eaa5df6c
+7 -5
View File
@@ -307,14 +307,16 @@ clone_one() {
# (re)register the repo's origin.
if [ "$origin" != "$rorigin" ]; then
if [ "$rorigin" ]; then
say "NOTE: Updating origin for '$name': $origin"
say " (was: $rorigin)"
say "NOTE: Updating origin for '$name': $origin (was: $rorigin)"
else
say "NOTE: Adding origin for '$name': $origin"
say " (url: $url)"
[ "$VERBOSE" ] && {
say "NOTE: Adding origin for '$name': $origin"
say " (url: $url)"
}
fi
must mkdir -p .mgit
echo "$origin" > ".mgit/$name.origin" || die "Could not create file .mgit/$name.origin".
echo "$origin" > ".mgit/$name.origin" \
|| die "Could not create origin file .mgit/$name.origin".
fi
}