Clarify GitHub integration docs regarding @openhands mentions in pull requests #9314
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR clarifies the GitHub integration documentation for OpenHands Cloud to note that writing
@openhandson a pull request will only work if the pull request is both to and from a repository that you have added through the interface.The change adds an important note in the "Working with Pull Requests" section of the GitHub installation documentation to make this limitation clear to users.
This addresses the issue where users might be confused when the
@openhandsmention doesn't work on pull requests from forks or external repositories.@neubig can click here to continue refining the PR
To run this PR locally, use the following command: