From 2f90df268cabca32c8a91463d31796a47d90407b Mon Sep 17 00:00:00 2001
From: Timothee Guerin <tiguerin@microsoft.com>
Date: Fri, 2 Dec 2022 13:23:41 -0800
Subject: [PATCH] Tentative: fix cadleng format command (#1362)

---
 .github/workflows/format-pr.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/format-pr.yml b/.github/workflows/format-pr.yml
index b27b07862..2f65cf946 100644
--- a/.github/workflows/format-pr.yml
+++ b/.github/workflows/format-pr.yml
@@ -33,7 +33,9 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v3
       - name: Checkout Pull Request
-        run: hub pr checkout ${{ github.event.issue.number }}
+        run: |
+          git config --global hub.protocol https
+          hub pr checkout ${{ github.event.issue.number }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}