Re: [PATCH v2 1/2] GitLab Gating CI: introduce pipeline-status contrib script

2020-09-02 Thread Cleber Rosa
On Thu, Jul 09, 2020 at 12:13:11PM +0200, Philippe Mathieu-Daudé wrote: > On 7/9/20 10:55 AM, Erik Skultety wrote: > > On Wed, Jul 08, 2020 at 10:46:56PM -0400, Cleber Rosa wrote: > >> This script is intended to be used right after a push to a branch. > >> > >> By default, it will look for the pipe

Re: [PATCH v2 1/2] GitLab Gating CI: introduce pipeline-status contrib script

2020-09-02 Thread Cleber Rosa
On Thu, Jul 09, 2020 at 10:55:19AM +0200, Erik Skultety wrote: > On Wed, Jul 08, 2020 at 10:46:56PM -0400, Cleber Rosa wrote: > > This script is intended to be used right after a push to a branch. > > > > By default, it will look for the pipeline associated with the commit > > that is the HEAD of t

Re: [PATCH v2 1/2] GitLab Gating CI: introduce pipeline-status contrib script

2020-07-13 Thread Thomas Huth
On 09/07/2020 12.13, Philippe Mathieu-Daudé wrote: > On 7/9/20 10:55 AM, Erik Skultety wrote: >> On Wed, Jul 08, 2020 at 10:46:56PM -0400, Cleber Rosa wrote: >>> This script is intended to be used right after a push to a branch. >>> >>> By default, it will look for the pipeline associated with the

Re: [PATCH v2 1/2] GitLab Gating CI: introduce pipeline-status contrib script

2020-07-09 Thread Thomas Huth
On 09/07/2020 04.46, Cleber Rosa wrote: > This script is intended to be used right after a push to a branch. > > By default, it will look for the pipeline associated with the commit > that is the HEAD of the *local* staging branch. It can be used as a > one time check, or with the `--wait` option

Re: [PATCH v2 1/2] GitLab Gating CI: introduce pipeline-status contrib script

2020-07-09 Thread Philippe Mathieu-Daudé
On 7/9/20 10:55 AM, Erik Skultety wrote: > On Wed, Jul 08, 2020 at 10:46:56PM -0400, Cleber Rosa wrote: >> This script is intended to be used right after a push to a branch. >> >> By default, it will look for the pipeline associated with the commit >> that is the HEAD of the *local* staging branch.

Re: [PATCH v2 1/2] GitLab Gating CI: introduce pipeline-status contrib script

2020-07-09 Thread Erik Skultety
On Wed, Jul 08, 2020 at 10:46:56PM -0400, Cleber Rosa wrote: > This script is intended to be used right after a push to a branch. > > By default, it will look for the pipeline associated with the commit > that is the HEAD of the *local* staging branch. It can be used as a > one time check, or with

[PATCH v2 1/2] GitLab Gating CI: introduce pipeline-status contrib script

2020-07-08 Thread Cleber Rosa
This script is intended to be used right after a push to a branch. By default, it will look for the pipeline associated with the commit that is the HEAD of the *local* staging branch. It can be used as a one time check, or with the `--wait` option to wait until the pipeline completes. If the pip