Use Github credential for release-cleanup (#80)

## What is the goal of this PR? Use GitHub credential for release-cleanup. This removes the need for adding an additional SSH key to CircleCI.
typedb · Sep 23, 2019 · 57dae3d · 57dae3d
1 parent 9f9ad6b
commit 57dae3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -147,7 +147,7 @@ jobs:
     machine: true
     steps:
       - checkout
-      - run: git push --delete origin graql-release-branch
+      - run: git push --delete https://$REPO_GITHUB_TOKEN@github.com/graknlabs/graql $CIRCLE_BRANCH
 
 workflows:
   graql: