ci remove formatting comment
This only works when the author is an member.
@@ -28,12 +28,3 @@ jobs:
echo "Please apply the preceding diff to your code or run scripts/code-format.py"
exit 1
fi
- - name: Comment PR
- uses: thollander/actions-comment-pull-request@v1
- if: github.event_name == 'pull_request' && failure()
- with:
- message: |
- Your PR needs its formatting corrected before it can be merged upstream.
-
- Please run `scripts/code-format.py` and commit the resulting change.
- GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
