Skip to content
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

941: Warn about required merge after dependent PR integration #1134

Closed
wants to merge 3 commits into from
Closed
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
@@ -83,7 +83,7 @@ public void onStateChange(PullRequest pr, Path scratchPath, Issue.State oldState
The dependent pull request has now been integrated, and the target branch of this pull request \
has been updated. This means that changes from the dependent pull request can start to show up \
as belonging to this pull request, which may be confusing for reviewers. To remedy this situation, \
simply merge the latest changes from the target branch into this pull request by running commands \
simply merge the latest changes from the new target branch into this pull request by running commands \
similar to these in the local repository for your personal fork:

```bash