Skip to content

Commit

Permalink
Remove installing GitHub CLI
Browse files Browse the repository at this point in the history
  • Loading branch information
mjaehn committed Jul 15, 2024
1 parent 78feec6 commit 5f59444
Showing 1 changed file with 1 addition and 14 deletions.
15 changes: 1 addition & 14 deletions .github/workflows/update_datasets.yml
Original file line number Diff line number Diff line change
Expand Up @@ -57,21 +57,8 @@ jobs:
branch: "update-datasets-${{ github.run_number }}"
delete-branch: true

- name: Install GitHub CLI
run: |
if ! command -v gh &> /dev/null
then
echo "GitHub CLI not found, installing..."
curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg | sudo dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg
echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null
sudo apt update
sudo apt install gh -y
else
echo "GitHub CLI is already installed."
fi
- name: Enable Auto-Merge for the PR
if: steps.git-check.outputs.changes_detected == 'true'
if: env.changes_detected == 'true'
run: |
PR_NUMBER=$(echo ${{ steps.create-pr.outputs.pull-request-number }})
gh pr merge $PR_NUMBER --auto --squash
Expand Down

0 comments on commit 5f59444

Please sign in to comment.