-
Notifications
You must be signed in to change notification settings - Fork 25.7k
update xla commit - check for exist pr #78156
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
🔗 Helpful links
✅ No Failures (0 Pending)As of commit 62b8628 (more details on the Dr. CI page): Expand to see more💚 💚 Looks good so far! There are no failures yet. 💚 💚 This comment was automatically generated by Dr. CI (expand for details).Please report bugs/suggestions to the (internal) Dr. CI Users group. |
| with: | ||
| fetch-depth: 1 | ||
| submodules: false | ||
| token: ${{ secrets.PAT }} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Did you already add this secret to our repo?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
oops
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me, but please elaborate why mergebot rather than standard github token needs to be used here?
| with: | ||
| fetch-depth: 1 | ||
| submodules: false | ||
| token: ${{ secrets.MERGEBOT_TOKEN }} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hmm, can we use a github token instead?
| token: ${{ secrets.MERGEBOT_TOKEN }} | |
| token: ${{ secrets.GITHUB_TOKEN }} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
if you push using the github token, it doesnt retrigger workflows
https://docs.github.com/en/actions/using-workflows/triggering-a-workflow#triggering-a-workflow-from-a-workflow
|
@pytorchbot merge |
|
Hey @clee2000. |
Summary: as in title, check for existing pr, if exists -> update that pr, if not exist -> make new pr Pull Request resolved: #78156 Approved by: https://github.com/malfet Test Plan: contbuild & OSS CI, see https://hud.pytorch.org/commit/pytorch/pytorch/331629046d2da10b0716882ed4c480408024ee78 Reviewed By: mehtanirav Differential Revision: D36668392 Pulled By: clee2000 fbshipit-source-id: e99fa53c909fd2226d4ad131a9a9c954035b043d
as in title, check for existing pr, if exists -> update that pr, if not exist -> make new pr