What about the name "CI Support"? Does not look like best fit either. Any better ideas or keep it?
I will document the outcome in the contributor guidelines. On Wed, Sep 28, 2016 at 11:13 AM, Pramod Immaneni <[email protected]> wrote: > What trustworthy jenkins no more. Kidding aside +1 > > On Wed, Sep 28, 2016 at 11:34 AM, Thomas Weise <[email protected]> wrote: > > > Hi, > > > > For changes made by scripts, there has been an undocumented convention to > > use the following author information (example): > > > > commit 763d14fca6b84fdda1b6853235e5d4b71ca87fca > > Author: CI Support <[email protected]> > > Date: Mon Sep 26 20:36:22 2016 -0700 > > > > Fix trailing whitespace. > > > > I would suggest we discontinue use of [email protected] and start > > using [email protected] instead? > > > > Thanks, > > Thomas > > >
