3pp-mirror/docusaurus
1
0
Fork 0
mirror of https://github.com/facebook/docusaurus.git synced 2025-07-23 11:38:48 +02:00
Code Issues Projects Releases Packages Wiki Activity

Use right bot for Circle (#184)

Browse source
This commit is contained in:
Joel Marcey 2017-10-25 15:24:43 -07:00 • committed by GitHub
parent 140dcaa500
commit b78938c5ea
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.circleci/config.yml
View file

@ -68,14 +68,14 @@ jobs:
if [[ $CIRCLE_PROJECT_USERNAME == "facebookexperimental" && -z $CI_PULL_REQUEST && -z $CIRCLE_PR_USERNAME ]]; then if [[ $CIRCLE_PROJECT_USERNAME == "facebookexperimental" && -z $CI_PULL_REQUEST && -z $CIRCLE_PR_USERNAME ]]; then
git config --global user.email "docusaurus@users.noreply.github.com" git config --global user.email "docusaurus@users.noreply.github.com"
git config --global user.name "Website Deployment Script" git config --global user.name "Website Deployment Script"
echo "machine github.com login docusaurus password $GITHUB_TOKEN" > ~/.netrc echo "machine github.com login facebook-github-bot" > ~/.netrc
fi fi
- run: - run:
name: Deploy Website name: Deploy Website
command: | command: |
if [[ $CIRCLE_PROJECT_USERNAME == "facebookexperimental" && -z $CI_PULL_REQUEST && -z $CIRCLE_PR_USERNAME ]]; then if [[ $CIRCLE_PROJECT_USERNAME == "facebookexperimental" && -z $CI_PULL_REQUEST && -z $CIRCLE_PR_USERNAME ]]; then
echo "Deploying website..." echo "Deploying website..."
cd website && GIT_USER=docusaurus USE_SSH=true yarn run publish-gh-pages cd website && GIT_USER=facebook-github-bot USE_SSH=true yarn run publish-gh-pages
else else
echo "Skipping deploy." echo "Skipping deploy."
fi fi