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

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> wrote:
> > >
> > >
> > >  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=6c93a2d0bc37f0c912e402f3f94c3c01350dca26
> > > >
> > > > 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"?