Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gitpublish.sh: Check if GITHUB_ACTOR is set + refactoring #3331

Merged
merged 2 commits into from Oct 27, 2021
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
2 changes: 2 additions & 0 deletions .github/workflows/ci.yml
Expand Up @@ -281,6 +281,7 @@ jobs:
run: npm run gitpublish:npm
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GH_ACTOR: ${{ env.GITHUB_ACTOR }}
IvanGoncharov marked this conversation as resolved.
Show resolved Hide resolved

deploy-to-deno-branch:
name: Deploy to `deno` branch
Expand Down Expand Up @@ -317,3 +318,4 @@ jobs:
run: npm run gitpublish:deno
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GH_ACTOR: ${{ env.GITHUB_ACTOR }}
8 changes: 7 additions & 1 deletion resources/gitpublish.sh
Expand Up @@ -28,14 +28,20 @@ if [ -z "${GH_TOKEN}" ]; then
exit 1;
fi;
IvanGoncharov marked this conversation as resolved.
Show resolved Hide resolved

if [ -z "${GH_ACTOR}" ]; then
GITHUB_CREDENTIALS="${GH_TOKEN}";
else
GITHUB_CREDENTIALS="${GH_ACTOR}:${GH_TOKEN}";
fi;

if [ ! -d $DIST_DIR ]; then
echo "Directory '${DIST_DIR}' does not exist!"
exit 1;
fi;

# Create empty directory
rm -rf $BRANCH
git clone -b $BRANCH -- "https://${GITHUB_ACTOR}:${GH_TOKEN}@github.com/graphql/graphql-js.git" $BRANCH
git clone -b $BRANCH -- "https://${GITHUB_CREDENTIALS}@github.com/graphql/graphql-js.git" $BRANCH

# Remove existing files first
rm -rf $BRANCH/**/*
Expand Down