fix: comment on winget PR correctly (#5789)

This commit is contained in:
Dean Sheather
2023-01-21 00:27:58 +00:00
committed by GitHub
parent b045734b6a
commit 37628c8b5b
+7 -2
View File
@@ -253,6 +253,7 @@ jobs:
retention-days: 7
publish-winget:
name: Publish to winget-pkgs
runs-on: windows-latest
needs: release
steps:
@@ -308,18 +309,22 @@ jobs:
--submit `
--version "${version}" `
--urls "${installer_url}|X64" `
--token "${{ secrets.CDRCI_GITHUB_TOKEN }}"
--token "$env:WINGET_GH_TOKEN"
env:
# For gh CLI:
GH_TOKEN: ${{ github.token }}
# For wingetcreate. We need a real token since we're pushing a commit
# to GitHub and then making a PR in a different repo.
WINGET_GH_TOKEN: ${{ secrets.CDRCI_GITHUB_TOKEN }}
- name: Comment on PR
if: ${{ !inputs.dry_run }}
run: |
# Find the PR that wingetcreate just made.
$version = "${{ needs.release.outputs.version }}".Trim('v')
$pr_list = gh pr list --repo microsoft/winget-pkgs --search "author:cdrci Coder.Coder version ${version}" --limit 1 --json number | `
ConvertFrom-Json`
ConvertFrom-Json
$pr_number = $pr_list[0].number
gh pr comment --repo microsoft/winget-pkgs "${pr_number}" --body "🤖 cc: @deansheather @matifali"