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

On Thu, 8 Dec 2022 15:15:30 -0700
Alan Somers <asomers@freebsd.org> wrote:

> 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"?

https://docs.gitlab.com/ee/user/project/push_options.html

 This is the same kind of stuff we use when you push some commit
authored by someone without a @freebsd.org email address.

-- 
Emmanuel Vadot <manu@bidouilliste.com> <manu@FreeBSD.org>