From 20ad5196c2d1b4801c956852eebba4c23def3aa2 Mon Sep 17 00:00:00 2001
From: Parth Kapadia <78787866+playmaker-pk@users.noreply.github.com>
Date: Fri, 20 Jan 2023 20:36:28 +0530
Subject: [PATCH] Hack GitHub credentials into git URL (#512)

---
 .circleci/config.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index a071bd4..0f8f4c8 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -29,6 +29,10 @@ jobs:
       - run:
           name: Install cpplint
           command: sudo pip install cpplint
+      - run:
+          name: Hack GitHub credentials into git URL
+          command: |
+           git config --global url."https://$GITHUB_TOKEN:x-oauth-basic@github.com/pantheon-systems/".insteadOf "https://github.com/pantheon-systems/"
       - run:
           name: Set up version
           command: bash scripts/version.sh