Switch from hub to gh (#7085)

This commit is contained in:
Jeremy Tuloup 2023-10-04 08:43:11 +02:00 committed by GitHub
parent 02cab2133d
commit 343961358d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -33,7 +33,7 @@ jobs:
# PR branch remote must be checked out using https URL
git config --global hub.protocol https
hub pr checkout ${{ github.event.issue.number }}
gh pr checkout ${{ github.event.issue.number }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}