do not fail on inability to find remote url
Change-Id: I83e808ea41057d6b9b4983e9f94a6dc903368496 Signed-off-by: Doug Hellmann <doug@doughellmann.com>
This commit is contained in:
parent
239af90a15
commit
2a86407a07
|
@ -46,7 +46,7 @@ fi
|
|||
# repository is, if we're running under CI or someone has checked it
|
||||
# out locally to an alternate name. Use the git remote URL as a source
|
||||
# of better information for the real repository name.
|
||||
REMOTE_URL=$(cd $REPODIR && git config --get remote.origin.url)
|
||||
REMOTE_URL=$(cd $REPODIR && git config --get remote.origin.url || echo "")
|
||||
if [ ! -z "$REMOTE_URL" ]; then
|
||||
SHORTNAME=$(basename $REMOTE_URL)
|
||||
REPOORGNAME=$(basename $(dirname $REMOTE_URL))
|
||||
|
|
Loading…
Reference in New Issue