misc: fix wrong registry remote name
This commit is contained in:
parent
585b867394
commit
e6c859d9bd
|
@ -3,7 +3,7 @@
|
||||||
ISO_DATE=$(date -u +"%Y-%m-%dT%H:%M:%SZ")
|
ISO_DATE=$(date -u +"%Y-%m-%dT%H:%M:%SZ")
|
||||||
|
|
||||||
# Ensure registry repository is up-to-date
|
# Ensure registry repository is up-to-date
|
||||||
git -C ../registry/ pull origin master:master --quiet 2>&1
|
git -C ../registry/ pull upstream master:master --quiet 2>&1
|
||||||
|
|
||||||
# Checkout master branch in dn42/repository
|
# Checkout master branch in dn42/repository
|
||||||
git -C ../registry/ checkout master --quiet
|
git -C ../registry/ checkout master --quiet
|
||||||
|
|
Loading…
Reference in a new issue