rm useless commands

paritytech · Aug 25, 2023 · 122de91 · 122de91
1 parent 441fc55
commit 122de91
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.github/workflows/check-labels.yml b/.github/workflows/check-labels.yml
@@ -31,11 +31,7 @@ jobs:
           echo "Cloning repo with labels specs"
 
           # Temporary, before https://github.com/paritytech/labels/pull/29 is not merged
-          git clone https://github.com/paritytech/labels
-          cd labels
-          git fetch origin main
-          git checkout main
-          cd ..
+          git clone https://github.com/paritytech/labels --depth 1 --main
 
           # Fetch the labels for the PR under test
           echo "Fetch the labels for $API_BASE/${REPO}/pulls/${GITHUB_PR}"