Update server URL in workflow
All checks were successful
PR Check / on-push-commit-check (push) Successful in 11m28s
All checks were successful
PR Check / on-push-commit-check (push) Successful in 11m28s
This commit is contained in:
parent
04abea4195
commit
eda4f818a9
1 changed files with 1 additions and 1 deletions
|
@ -65,7 +65,7 @@ jobs:
|
||||||
echo "Configure project settings and remote credentials"
|
echo "Configure project settings and remote credentials"
|
||||||
git init
|
git init
|
||||||
git config credential.helper store
|
git config credential.helper store
|
||||||
git remote add origin https://${{ github.token }}@helicopter.myftp.org/git/Larra/larra
|
git remote add origin https://${{ github.token }}@sha512sum.xyz/git/Larra/larra
|
||||||
|
|
||||||
echo "Fetch repo state on pushed commit"
|
echo "Fetch repo state on pushed commit"
|
||||||
git -c protocol.version=2 fetch --no-tags --prune --no-recurse-submodules --depth=1 origin +${{ github.sha }}:${{ github.ref }}
|
git -c protocol.version=2 fetch --no-tags --prune --no-recurse-submodules --depth=1 origin +${{ github.sha }}:${{ github.ref }}
|
||||||
|
|
Loading…
Reference in a new issue