On 29.5.2018 22:01, Victor Stinner wrote: > GitHub provides a [Update branch] button. It seems like the button > does a rebase, no? AFAIK it merges the traget branch to the PR branch. No rebase. -- Miro Hrončok -- Phone: +420777974800 IRC: mhroncok