Skip to content

Conversation

@tugsbayasgalan
Copy link
Contributor

@tugsbayasgalan tugsbayasgalan commented May 5, 2023

@pytorch-bot
Copy link

pytorch-bot bot commented May 5, 2023

@pytorch-bot pytorch-bot bot added the topic: not user facing topic category label May 5, 2023
@tugsbayasgalan tugsbayasgalan mentioned this pull request May 5, 2023
@tugsbayasgalan
Copy link
Contributor Author

@pytorchbot merge -f "PR is trivial"

@pytorchmergebot
Copy link
Collaborator

Merge started

Your change will be merged immediately since you used the force (-f) flag, bypassing any CI checks (ETA: 1-5 minutes).

Learn more about merging in the wiki.

Questions? Feedback? Please reach out to the PyTorch DevX Team

Advanced Debugging
Check the merge workflow status
here

@huydhn
Copy link
Contributor

huydhn commented May 5, 2023

@pytorchbot revert -m 'Sorry for reverting your PR, but it breaks lint in trunk' -c ignoredsignal

@pytorch pytorch deleted a comment from pytorch-bot bot May 5, 2023
@pytorch pytorch deleted a comment from pytorch-bot bot May 5, 2023
@pytorch pytorch deleted a comment from pytorch-bot bot May 5, 2023
@pytorchmergebot
Copy link
Collaborator

@pytorchbot successfully started a revert job. Check the current status here.
Questions? Feedback? Please reach out to the PyTorch DevX Team

@pytorchmergebot
Copy link
Collaborator

@tugsbayasgalan your PR has been successfully reverted.

pytorchmergebot added a commit that referenced this pull request May 5, 2023
This reverts commit daf5100.

Reverted #100719 on behalf of https://github.com/huydhn due to Sorry for reverting your PR, but it breaks lint in trunk ([comment](#100719 (comment)))
tugsbayasgalan added a commit that referenced this pull request May 5, 2023
ghstack-source-id: 57ad761
Pull Request resolved: #100719
@github-actions
Copy link
Contributor

github-actions bot commented Jul 5, 2023

Looks like this PR hasn't been updated in a while so we're going to go ahead and mark this as Stale.
Feel free to remove the Stale label if you feel this was a mistake.
If you are unable to remove the Stale label please contact a maintainer in order to do so.
If you want the bot to never mark this PR stale again, add the no-stale label.
Stale pull requests will automatically be closed after 30 days of inactivity.

@github-actions github-actions bot added the Stale label Jul 5, 2023
@github-actions github-actions bot closed this Aug 4, 2023
@facebook-github-bot facebook-github-bot deleted the gh/tugsbayasgalan/113/head branch August 7, 2023 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants