Re: git: 6c93a2d0bc37 - main - [skip ci] improvements to cap_sysctl.3

In message <CAOtMX2i0=cdjJ6ft2oe9s2EV1soiO=kO1dNofDrMdOh=SK-5Cg@mail.gmail.c
om>
, Alan Somers writes:
> On Thu, Dec 8, 2022 at 2:59 PM Emmanuel Vadot <manu@bidouilliste.com> wrote:
> >
> > On Thu, 8 Dec 2022 14:28:34 -0700
> > Alan Somers <asomers@freebsd.org> wrote:
> >
> > > On Thu, Dec 8, 2022 at 2:15 PM Emmanuel Vadot <manu@bidouilliste.com> wro
> te:
> > > >
> > > >
> > > >  Hi Alan,
> > > >
> > > > On Thu, 8 Dec 2022 19:46:01 GMT
> > > > Alan Somers <asomers@FreeBSD.org> wrote:
> > > >
> > > > > The branch main has been updated by asomers:
> > > > >
> > > > > URL: https://cgit.FreeBSD.org/src/commit/?id=6c93a2d0bc37f0c912e402f3
> f94c3c01350dca26
> > > > >
> > > > > commit 6c93a2d0bc37f0c912e402f3f94c3c01350dca26
> > > > > Author:     Alan Somers <asomers@FreeBSD.org>
> > > > > AuthorDate: 2022-12-01 16:49:57 +0000
> > > > > Commit:     Alan Somers <asomers@FreeBSD.org>
> > > > > CommitDate: 2022-12-08 19:45:47 +0000
> > > > >
> > > > >     [skip ci] improvements to cap_sysctl.3
> > > >
> > > >  You keep doing commit with this [skip ci] prefix, what is it for ?
> > > >  AFAIK the official FreeBSD CI doesn't support this and I find that
> > > > really ugly to have this in the commit subject.
> > > >  Mind sharing more on why you add this ?
> > > >
> > > >  Cheers,
> > > >
> > > > --
> > > > Emmanuel Vadot <manu@bidouilliste.com> <manu@FreeBSD.org>
> > >
> > > It tells CI systems not to run any tests on this commit.  Both Cirrus
> > > and Jenkins understand it, among others.  For example, if you browse
> > > to https://github.com/freebsd/freebsd-src/commits/main and hover over
> > > the green checkmark next to this commit, you'll see a bunch of
> > > "skipped" symbols.  So I use it just to save resources.  I think I
> > > could put it on a separate line, though.
> > > -Alan
> >
> >  Mhm ok, I find that very ugly, couldn't we add some git push options
> > instead ? We use gitlab at current work and we use a lot of those push
> > options, this avoid having ugly commit subject.
>
>
> How?  What is a "git push option"?
>

       -o <option>, --push-option=<option>
           Transmit the given string to the server, which passes them to the
           pre-receive as well as the post-receive hook. The given string 
must
           not contain a NUL or LF character. When multiple
           --push-option=<option> are given, they are all sent to the other
           side in the order listed on the command line. When no
           --push-option=<option> is given from the command line, the values
           of configuration variable push.pushOption are used instead.


-- 
Cheers,
Cy Schubert <Cy.Schubert@cschubert.com>
FreeBSD UNIX:  <cy@FreeBSD.org>   Web:  https://FreeBSD.org
NTP:           <cy@nwtime.org>    Web:  https://nwtime.org

			e^(i*pi)+1=0