On Thu, 12 Mar 2020 at 19:37, Cleber Rosa <cr...@redhat.com> 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 to wait until the pipeline > completes. > > If the pipeline is successful, then a merge of the staging branch into > the master branch should be the next step. > > Signed-off-by: Cleber Rosa <cr...@redhat.com> > --- > contrib/ci/scripts/gitlab-pipeline-status | 148 ++++++++++++++++++++++ > 1 file changed, 148 insertions(+) > create mode 100755 contrib/ci/scripts/gitlab-pipeline-status > > diff --git a/contrib/ci/scripts/gitlab-pipeline-status > b/contrib/ci/scripts/gitlab-pipeline-status > new file mode 100755 > index 0000000000..83d412daec > --- /dev/null > +++ b/contrib/ci/scripts/gitlab-pipeline-status > @@ -0,0 +1,148 @@ > +#!/usr/bin/env python3 > + > +""" > +Checks the GitLab pipeline status for a given commit commit > +"""
All new files, and particularly new scripts and source files, should have the usual copyright-and-license comment at the top, please. thanks -- PMM
