Looks good, Bruce. Please backport.
On Tue, Jun 16, 2020 at 4:01 PM Owen Nichols wrote:
> +1
>
> On 6/16/20, 3:54 PM, "Jianxia Chen" wrote:
>
> +1
>
> On Tue, Jun 16, 2020 at 3:24 PM Bruce Schuchardt
> wrote:
>
> > This PR has been merged to develop. It fixes a problem with the
Please make sure you've setup your commit email address. It makes it much
easier to find out who committed something and how to contact them if
there's a problem.
You typically use the following to set your email address globally in git:
$ git config --global user.email "em...@example.com"
You c
Hi Kirk,
I think it is also now in the privacy setting in GitHub for anyone who wants to
keep emails private. [https://github.com/settings/emails :
https://github.com/settings/emails ]
This setting is needed for web based git operations like squash merging PRs etc.
In GitHub:
"Keep my email a
