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 merge an MR, reassign it
to "Marge Bot" (@marge-bot). Marge will take care of rebasing and
merging the MR once the CI pipeline has passed.


-- 
Earthling Michel Dänzer               |               https://redhat.com
Libre software enthusiast             |             Mesa and X developer
_______________________________________________
mesa-dev mailing list
mesa-dev@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/mesa-dev

Reply via email to