parent
668dd79d07
commit
56cf5fec2e
1 changed files with 1 additions and 1 deletions
|
@ -9,6 +9,6 @@ jobs:
|
||||||
- run: /usr/bin/git init $GITHUB_WORKSPACE
|
- run: /usr/bin/git init $GITHUB_WORKSPACE
|
||||||
- run: /usr/bin/git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
|
- run: /usr/bin/git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY
|
||||||
- run: /usr/bin/git config --local gc.auto 0
|
- run: /usr/bin/git config --local gc.auto 0
|
||||||
- run: "/usr/bin/git config --local http.https://git.php.fail/.extraheader AUTHORIZATION: basic $GITHUB_TOKEN"
|
- run: "/usr/bin/git config --local http.https://git.php.fail/.extraheader \"AUTHORIZATION: basic $GITHUB_TOKEN\""
|
||||||
- run: /usr/bin/git -c protocol.version=2 fetch --no-tags --prune --progress --no-recurse-submodules --depth=1 origin $GITHUB_REF_NAME
|
- run: /usr/bin/git -c protocol.version=2 fetch --no-tags --prune --progress --no-recurse-submodules --depth=1 origin $GITHUB_REF_NAME
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue