diff --git a/.github/workflows/update-flake.yml b/.github/workflows/update-flake.yml index 72e55a14..3218944c 100644 --- a/.github/workflows/update-flake.yml +++ b/.github/workflows/update-flake.yml @@ -21,3 +21,10 @@ jobs: title: "[automation] update flake dependencies" branch: "automation/update-flake-dependencies" token: ${{ secrets.UPDATE_FLAKE_TOKEN }} + - name: Ping me in a comment on the PR + run: | + PR_NUMBER=${{ github.event.pull_request.number }} + COMMENT="Ping @mrjones2014" + GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }} + COMMENT_URL="https://api.github.com/repos/${{ github.repository }}/issues/${PR_NUMBER}/comments" + curl -s -H "Authorization: token ${GITHUB_TOKEN}" -X POST $COMMENT_URL -d "{\"body\":\"$COMMENT\"}"