Skip to content

Wget and curl both do the same thing. Remove wget and use only curl. #7234

Wget and curl both do the same thing. Remove wget and use only curl.

Wget and curl both do the same thing. Remove wget and use only curl. #7234

Workflow file for this run

name: "Pull Request Labeler"
on:
- pull_request_target
jobs:
labeler:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v2
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"