Skip to content

Conversation

@eltociear
Copy link
Contributor

propogate -> propagate

@pytorch-bot pytorch-bot bot added the topic: not user facing topic category label Apr 17, 2023
@pytorch-bot
Copy link

pytorch-bot bot commented Apr 17, 2023

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/99303

Note: Links to docs will display an error until the docs builds have been completed.

✅ No Failures

As of commit 7624351:
💚 Looks good so far! There are no failures yet. 💚

This comment was automatically generated by Dr. CI and updates every 15 minutes.

@kit1980
Copy link
Contributor

kit1980 commented Apr 17, 2023

@pytorchbot merge -f "Small comment typo fix"

@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

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.

4 participants