On Thu, 20 Dec 2018 at 10:16, Hans de Goede <hdegoede(a)redhat.com> wrote:
So I say +100 to just pushing the changes directly, as said
people can always revert them.
Completely agree. For my packages I'd totally prefer things just
magically be done without any action on my part.
Richard.