Skip to content

Commit

Permalink
Github bot!
Browse files Browse the repository at this point in the history
  • Loading branch information
avahoffman committed Mar 15, 2024
1 parent eb053da commit 9ca091f
Showing 1 changed file with 12 additions and 6 deletions.
18 changes: 12 additions & 6 deletions .github/workflows/pull_request.yml
Original file line number Diff line number Diff line change
Expand Up @@ -32,8 +32,8 @@ jobs:
- name: Make the branch fresh
run: |
git config --global --add safe.directory $GITHUB_WORKSPACE
git config --global user.email "[email protected]"
git config --global user.name "jhudsl-robot"
git config --global user.name 'github-actions[bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
branch_name='preview-${{ github.event.pull_request.number }}'
echo branch doesnt exist
Expand Down Expand Up @@ -97,6 +97,9 @@ jobs:
- name: Commit styled files
run: |
git config --system --add safe.directory "$GITHUB_WORKSPACE"
git config --global user.name 'github-actions[bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
git add \*.Rmd
git commit -m 'Style Rmds' || echo "No changes to commit"
git push origin || echo "No changes to commit"
Expand Down Expand Up @@ -125,6 +128,9 @@ jobs:
- name: Commit lab Rmds created from lab key Rmds
run: |
git config --system --add safe.directory "$GITHUB_WORKSPACE"
git config --global user.name 'github-actions[bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
git add \*.Rmd
git commit -m 'Create Lab Rmds from Keys' || echo "No changes to commit"
git push origin || echo "No changes to commit"
Expand Down Expand Up @@ -158,8 +164,8 @@ jobs:
# Set up git checkout
- name: Set up git checkout
run: |
git config --local user.email "[email protected]"
git config --local user.name "jhudsl-robot"
git config --global user.name 'github-actions[bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
branch_name='preview-${{ github.event.pull_request.number }}'
git fetch --all
Expand Down Expand Up @@ -317,8 +323,8 @@ jobs:
# Set up git checkout
- name: Set up git checkout
run: |
git config --local user.email "[email protected]"
git config --local user.name "jhudsl-robot"
git config --global user.name 'github-actions[bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
branch_name='preview-${{ github.event.pull_request.number }}'
git fetch --all
Expand Down

0 comments on commit 9ca091f

Please sign in to comment.