On 22 June 2017 at 16:07, Rainer Müller wrote: > On 2017-06-22 08:14, Sterling P. Smith wrote: >> The simple solution is to allow the "Rebase" option in GitHub. > > It is enabled and the default. The thing is that in the Mojca's workflow > for editing the PR commits, you would still need to push to the PR > branch, wait for Travis to finish and approve the change, then merge.
By the time Travis is done, one can no longer push the changes to master without rebasing. Mojca
