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