added instructions for syncing upstream master with forked master via PR#8745
added instructions for syncing upstream master with forked master via PR#8745LysandreJik merged 2 commits intohuggingface:masterfrom
Conversation
|
We are trying to give instructions to avoid:
Of course, the perfect solution would be for github to give repo admins an option to not allow ping-backs from repo forks. But I don't think it's available now. |
sgugger
left a comment
There was a problem hiding this comment.
LGTM, thanks for adding this!

What does this PR do?
Fixes #8742
Before submitting
Pull Request section?
to it if that's the case.
documentation guidelines, and
here are tips on formatting docstrings.
Who can review?
Anyone in the community is free to review the PR once the tests have passed. Feel free to tag
members/contributors which may be interested in your PR.
@stas00