Re: [PATCH 4/5] GitLab Gating CI: introduce pipeline-status contrib script

2020-07-02 Thread Philippe Mathieu-Daudé
On 6/23/20 7:59 PM, Cleber Rosa wrote: > On Mon, Jun 22, 2020 at 10:21:03AM -0400, Cleber Rosa wrote: >> >> The script should indeed work with the workflow you described. I'll just >> run a few tests, to make sure that are no caveats, and I'll let you and >> Peter know about it. >> > > FIY, I've

Re: [PATCH 4/5] GitLab Gating CI: introduce pipeline-status contrib script

2020-06-23 Thread Cleber Rosa
On Mon, Jun 22, 2020 at 10:21:03AM -0400, Cleber Rosa wrote: > > The script should indeed work with the workflow you described. I'll just > run a few tests, to make sure that are no caveats, and I'll let you and > Peter know about it. > FIY, I've cherry-pick just the patch with the scripts (for

Re: [PATCH 4/5] GitLab Gating CI: introduce pipeline-status contrib script

2020-06-22 Thread Cleber Rosa
On Thu, Jun 18, 2020 at 12:45:24PM +0100, Daniel P. Berrangé wrote: > On Thu, Mar 12, 2020 at 03:36:15PM -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 HEA

Re: [PATCH 4/5] GitLab Gating CI: introduce pipeline-status contrib script

2020-06-18 Thread Daniel P . Berrangé
On Thu, Mar 12, 2020 at 03:36:15PM -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 wit

Re: [PATCH 4/5] GitLab Gating CI: introduce pipeline-status contrib script

2020-03-13 Thread Cleber Rosa
On Fri, Mar 13, 2020 at 01:56:51PM +, Peter Maydell wrote: > > All new files, and particularly new scripts and source > files, should have the usual copyright-and-license > comment at the top, please. > > thanks > -- PMM > My bad. I'll wait for further comments and included that in a v2.

Re: [PATCH 4/5] GitLab Gating CI: introduce pipeline-status contrib script

2020-03-13 Thread Peter Maydell
On Thu, 12 Mar 2020 at 19:37, 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 `--w