Thomas Huth writes:
> When handling pull requests in the staging branch, it often happens
> that one of the job fails due to a problem, so that the pull request
> can't be merged. Peter/Richard/Stefan then informs the sender of the
> pull request and continues by pushing the next pending pull r
On Thu, Feb 23, 2023 at 08:13:43PM +0100, Thomas Huth wrote:
> When handling pull requests in the staging branch, it often happens
> that one of the job fails due to a problem, so that the pull request
> can't be merged. Peter/Richard/Stefan then informs the sender of the
> pull request and continu
On 24/2/23 09:03, Thomas Huth wrote:
On 24/02/2023 09.01, Philippe Mathieu-Daudé wrote:
On 24/2/23 07:22, Thomas Huth wrote:
On 23/02/2023 21.23, Philippe Mathieu-Daudé wrote:
On 23/2/23 20:13, Thomas Huth wrote:
When handling pull requests in the staging branch, it often happens
that one of
On 24/02/2023 09.01, Philippe Mathieu-Daudé wrote:
On 24/2/23 07:22, Thomas Huth wrote:
On 23/02/2023 21.23, Philippe Mathieu-Daudé wrote:
On 23/2/23 20:13, Thomas Huth wrote:
When handling pull requests in the staging branch, it often happens
that one of the job fails due to a problem, so tha
On 24/2/23 07:22, Thomas Huth wrote:
On 23/02/2023 21.23, Philippe Mathieu-Daudé wrote:
On 23/2/23 20:13, Thomas Huth wrote:
When handling pull requests in the staging branch, it often happens
that one of the job fails due to a problem, so that the pull request
can't be merged. Peter/Richard/St
On 23/02/2023 21.23, Philippe Mathieu-Daudé wrote:
On 23/2/23 20:13, Thomas Huth wrote:
When handling pull requests in the staging branch, it often happens
that one of the job fails due to a problem, so that the pull request
can't be merged. Peter/Richard/Stefan then informs the sender of the
pu
On 23/2/23 20:13, Thomas Huth wrote:
When handling pull requests in the staging branch, it often happens
that one of the job fails due to a problem, so that the pull request
can't be merged. Peter/Richard/Stefan then informs the sender of the
pull request and continues by pushing the next pending
When handling pull requests in the staging branch, it often happens
that one of the job fails due to a problem, so that the pull request
can't be merged. Peter/Richard/Stefan then informs the sender of the
pull request and continues by pushing the next pending pull request
from another subsystem ma
