[Development] GitHub Pull requests
edward.welbourne at qt.io
Wed Mar 11 11:48:24 CET 2020
Matthew Woehlke (10 March 2020 20:24) wrote:
> In an ideal world...
> Note that I believe nothing needs to be done to "merge" the GitHub PR;
> if the commits become reachable from the target branch, it should
> automatically get marked as "merged".
Given that gerrit cherry-picks the change submitted onto the branch it's
sent to, the commit the user originally pushed doesn't become reachable.
Will GitHub recognise the cherry-pick as resolving the PR ?
More information about the Development