On Tue, 2019-12-17 at 11:21 -0500, Cole Robinson wrote:
But the other ci/ scripts are listed in Makefile.am EXTRA_DIST, so
adjust that before pushing unless it was deliberate
Nah, it was just an oversight. Good catch!
I've fixed it before pushing.
--
Andrea Bolognani / Red Hat / Virtualization