Use explicit https: for git protocol

krassowski · Oct 8, 2023 · 246f5ce · 246f5ce
1 parent 7fc514c
commit 246f5ce
Show file tree

Hide file tree

Showing 3 changed files with 134 additions and 139 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -20,11 +20,6 @@ jobs:
     - name: Install dependencies
       run: python -m pip install -U "jupyterlab>=4.0.0,<5"
 
-    - name: Force using `https` for git
-      run: |
-        git config --global url."https://github.com/".insteadOf [email protected]:
-        git config --global url."https://".insteadOf git://
-
     - name: Lint the extension
       run: |
         set -eux