CI: let GitHub action create commit (#2114)

The GitHub action for creating the PR expects that either the changes
are not committed (in which case it commits them with the specified
commit message) or that the commit exists but that it is also pushed to
remote.

Prior to this patch, we created the commit but did not push it to
remote, causing failures.  This patch leaves the changes uncommitted so
that they're committed and pushed to remote as part of the PR creation.
pull/2098/head
Ashay Rane 2023-05-11 19:19:32 -05:00 committed by GitHub
parent 1eb18dd8b5
commit e161f2511a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 3 deletions

View File

@ -114,9 +114,6 @@ jobs:
git fetch --recurse-submodules=no
git checkout main
git pull origin main
git checkout -b rollpytorch/${{ env.PT_RELEASE }}
git add pytorch-hash.txt pytorch-requirements.txt torchvision-requirements.txt lib/Dialect/Torch/Transforms/AbstractInterpLibrary.cpp include/torch-mlir/Dialect/Torch/IR/GeneratedTorchOps.td
git diff --cached --exit-code || git commit -m "update PyTorch version to ${{ env.PT_RELEASE }}"
- name: Create pull request
uses: peter-evans/create-pull-request@v5.0.1