public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Fix deploy remote URL

pull/106/head
Michele Locati 2020-02-02 20:52:56 +01:00
parent 472ae2e424
commit 92315d4866
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/ci-update-readme
View File

@ -56,7 +56,7 @@ eval "$(ssh-agent)"
printf '%s' "$DEPLOY_KEY" | tr -d '\r' | ssh-add - >/dev/null printf '%s' "$DEPLOY_KEY" | tr -d '\r' | ssh-add - >/dev/null
printf 'Adding %s remote\n' "$GITHUB_REPOSITORY" printf 'Adding %s remote\n' "$GITHUB_REPOSITORY"
git remote add deploy "git@github.com/$GITHUB_REPOSITORY.git" git remote add deploy "git@github.com:$GITHUB_REPOSITORY.git"
echo 'Committing changes to README.md' echo 'Committing changes to README.md'
git config user.name "$UPDATE_README_COMMIT_AUTHOR_NAME" git config user.name "$UPDATE_README_COMMIT_AUTHOR_NAME"
@ -65,6 +65,6 @@ git add README.md
git commit -m "$UPDATE_README_COMMIT_MESSAGE" git commit -m "$UPDATE_README_COMMIT_MESSAGE"
printf 'Pushing to %s\n' "$GITHUB_REPOSITORY" printf 'Pushing to %s\n' "$GITHUB_REPOSITORY"
git push deploy "$UPDATE_BRANCH" git push deploy "$UPDATE_BRANCH:$UPDATE_BRANCH"
echo 'Done.' echo 'Done.'