> On Nov 3, 2020, at 8:41 AM, Allen Wittenauer wrote:
> Luckily, these are all relatively easy fixes so I should have a patch later
> today.
A little harder than expected, but nonetheless:
https://github.com/apache/yetus/pull/193/
-1
In addition to some harmless curl output that was inadvertently left in, at
$DAYJOB we hit three issues on a particularly complicated build (multiple repos
checked out, multiple GitHub credentials involved, Jenkins shared libraries,
... basically all the things):
* if GITHUB_REPO isn't pr
