| name: auto-format |
| on: pull_request |
| jobs: |
| format: |
| runs-on: ubuntu-latest |
| steps: |
| - name: Checkout PR branch |
| uses: actions/checkout@v2 |
| with: |
| ref: ${{ github.event.pull_request.head.sha }} |
| - name: autopep8 |
| uses: peter-evans/autopep8@v1 |
| with: |
| args: --exit-code --recursive --in-place --aggressive --aggressive . |
| - name: Check for modified files |
| id: git-check |
| run: echo "modified=$(if git diff-index --quiet HEAD --; then echo "false"; else echo "true"; fi)" >> $GITHUB_ENV |
| - name: Push changes |
| if: steps.git-check.outputs.modified == 'true' |
| run: | |
| git config --global user.name 'Torantulino' |
| git config --global user.email 'toran.richards@gmail.com' |
| git remote set |
| |
