|
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 '[email protected]' |
|
git remote set |
|
|