On 2019-12-13 11:01 p.m., Alex Deucher wrote:
>
> Merging a branch:
> 1*) Check that all CI pipelines have succeeded.
> 2) Rebase your local branch and force-push to your private branch.
> 3) Wait for the CI to complete
> 4) Push the merge button
This is already obsolete again. :) In order to
On 2019-12-13 10:35 p.m., Eric Anholt wrote:
> I finally got back around to experimenting with the gitlab merge bot,
> and it turns out that the day I spent a few weeks back I had actually
> given up 5 minutes before the finish line.
>
> Marge is now enabled for mesa/mesa, piglit, and
