I see. Got it: just use marge-bot then.
Jose
From: Rob Clark
Sent: Tuesday, September 21, 2021 16:13
To: Jose Fonseca
Cc: Gert Wollny ; ML mesa-dev
Subject: Re: [Mesa-dev] Merge blocked
Please don't merge or push directly, that will interfere with
marg
worse, I don't commit to Mesa as much as I used to, so
> this doesn't affect me nearly as much as others. Even though I believe
> allowing to merge without pipeline object would be an improvement, if
> everybody else is happy with the status quo, then don't mind me.
&
_
From: Gert Wollny
Sent: Tuesday, September 21, 2021 15:32
To: Jose Fonseca ; ML mesa-dev
Subject: Re: [Mesa-dev] Merge blocked
Hello Jose,
On Tue, 2021-09-21 at 11:48 +, Jose Fonseca wrote:
> Why doesn't Gilab allow one to merge manually?
>
> See
> https://nam04.safelin
Hello Jose,
On Tue, 2021-09-21 at 11:48 +, Jose Fonseca wrote:
> Why doesn't Gilab allow one to merge manually?
>
> See https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/12940:
>
> * Marge-bot failed to merge the PR due to 2 flaky tests, completely
> unrelated to the commits in que
Why doesn't Gilab allow one to merge manually?
See https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/12940:
* Marge-bot failed to merge the PR due to 2 flaky tests, completely
unrelated to the commits in question.
* I manually retried the failed tests, and they all passed, but