Pull request pushing

This GitHub Action pushes changes to the head of the pull request branch. It assumes you have already commited any results prior to running. It is intended to be used by actions which trigger based on comment creation. It is often paired with the pr-fetch action.

Generally this is used to push back to a pull request associated with a comment, you can filter the comments using an if clause, so it is only run for specific things. You need to include your token to the action in order for it to work, as it needs to query the GitHub API for the pull request information.

on:
  issue_comment:
    types: [created]

jobs:
  foo_command:
    if: startsWith(github.event.comment.body, '/foo')
    name: foo
    runs-on: macos-latest
    steps:
      - uses: actions/checkout@v4
      - uses: r-lib/actions/pr-fetch@v2
        with:
          repo-token: ${{ secrets.GITHUB_TOKEN }}
      - run: |
        echo "hi" > foo
        git commit -m 'foo added' --author 'GitHub Actions <[email protected]>'
      - uses: r-lib/actions/pr-push@v2
        with:
          repo-token: ${{ secrets.GITHUB_TOKEN }}