github automation working group

Greetings!

I'd like to announce the formation of a github automation working group.
The goals of this working group are two fold:

1. To improve the automation we use to move pull requests into the tree,
including testing (and possibly phabricator and bz improvements as well,
though that's follow on work). This will likely include batching of pull
requests so we can run more extensive tests on the batch than we could on
any individual one.
2. Improve the github experience for contributors that are using github
pull requests. This will include things like checklists, automatic jobs
that run to critique bits of the pull request and tooling to help the
volunteers landing the pull requests in tracking the state and readiness,
etc.
3. Grab-bag of whatever else makes it easier to contribute to FreeBSD.

We'll be using two forums to communicate. First, for announcements and more
structured discussions, we'll use the freebsd-git@freebsd.org mailing list.
For the ephemeral communications, that will be on our discord server (
https://discord.gg/freebsd for invite) in the #github-hacking channel. I'm
open to other forums that match the participants' needs, but this is where
we're going to start. We'll also use a github repo to track the scripts
we're creating and improving, as well as a useful place to have in-progress
documentation in asciidoc format to merge into the handbook when it's ready.

If it makes sense, we'll have VC meetings, but for now I'm not planning on
one (though I am open to changing that if people think it would be useful).

Please let me know if you are interested.

All the latest data can be found on the wiki page
https://wiki.freebsd.org/WorkingGroup/Github which will have pointers to
all the things relevant.

Warner

P.S. I know this is a little different. I tried to do the 'git next steps'
working group and that failed because its mandate was too big and I
couldn't get people to join who wanted to commit to work. So, I've scaled
back on the goals and am trying a new way to encourage people to
collaborate. It's partially an experiment, and partially a guess that the
people who can help the most will already have a discord account.