haskal
/
starship
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

ci: explicitly provide repo owner/name when merging PR (#3930)

This commit is contained in:
Matan Kushner 2022-04-26 14:09:37 -05:00 committed by GitHub
parent 0a9fabe146
commit 07eccc4f71
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/deploy.yml vendored
View File

@ -284,7 +284,7 @@ jobs:
continue-on-error: true continue-on-error: true
steps: steps:
- name: Merge | Merge Crowdin PR - name: Merge | Merge Crowdin PR
run: gh pr merge --squash i18n_master run: gh pr merge i18n_master --squash --repo=starship/starship
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}