Commit 2afb4e6
committed
Avoid specifying branch unnecessarily
1 parent 1fd38a4 commit 2afb4e6
1 file changed
Lines changed: 3 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -69,11 +69,9 @@ jobs: | |||
| 69 | 69 | ||
| 70 | 70 | - name: Check for changes and push | |
| 71 | 71 | id: push | |
| 72 | - env: | ||
| 73 | - BRANCH: ${{ github.event.pull_request.head.ref || github.event.ref }} | ||
| 74 | 72 | run: | | |
| 75 | 73 | if [ ! -z "$(git status --porcelain)" ]; then | |
| 76 | - echo "Changes detected, pushing them to branch $BRANCH" | ||
| 74 | + echo "Changes detected, committing and pushing." | ||
| 77 | 75 | git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com" | |
| 78 | 76 | git config --global user.name "github-actions[bot]" | |
| 79 | 77 | git add --all | |
@@ -86,8 +84,8 @@ jobs: | |||
| 86 | 84 | echo "No in-progress merge detected, committing changes." | |
| 87 | 85 | git commit -m "Rebuild" | |
| 88 | 86 | fi | |
| 89 | - echo "Pushing changes to branch $BRANCH" | ||
| 90 | - git push origin "HEAD:$BRANCH" | ||
| 87 | + echo "Pushing changes" | ||
| 88 | + git push | ||
| 91 | 89 | echo "changes=true" >> $GITHUB_OUTPUT | |
| 92 | 90 | else | |
| 93 | 91 | echo "No changes detected, nothing to commit." | |
0 commit comments