switch branches
This commit is contained in:
parent
071175ba67
commit
76038332f4
1 changed files with 2 additions and 0 deletions
|
@ -30,6 +30,8 @@ fi
|
||||||
|
|
||||||
URL="https://git.abstractnonsen.se/${OWNER}/${REPOSITORY}"
|
URL="https://git.abstractnonsen.se/${OWNER}/${REPOSITORY}"
|
||||||
if curl --output /dev/null --silent --head --fail "${URL}"; then
|
if curl --output /dev/null --silent --head --fail "${URL}"; then
|
||||||
|
echo "Checked ${URL}: repository exists and publicly accessible"
|
||||||
|
else
|
||||||
read -p -n 1 -r "Url ${URL} is not (publicly) accessible, are you sure you want to continue? [y/N] "
|
read -p -n 1 -r "Url ${URL} is not (publicly) accessible, are you sure you want to continue? [y/N] "
|
||||||
echo
|
echo
|
||||||
if [[ ! $REPLY =~ ^[Yy]$ ]]; then
|
if [[ ! $REPLY =~ ^[Yy]$ ]]; then
|
||||||
|
|
Loading…
Reference in a new issue