Travis and "rebase before commit"

[Mojca Miklavec]

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