On Thu, Feb 21, 2019 at 02:12:40PM -0500, Aaron Conole wrote: > If anyone thinks it's worthwhile, I can make another robot job that will > rebuild the various branches and mail the list on a weekly cadence. I like that idea!